We present the Constructive Query Containment (CQC) method to check query containment
and query containment under constraints for queries over databases with safe negation in …

Pictorial languages occur in almost every field from roadsigns to technical design or abstract
art. Computer science is no exception. Understanding the reasons for the success of visual …

Quality of service (QoS) can be a critical element for achieving the business goals of a
service provider, and accepting a service by the customer. The criticality is more pronounced …

We present a method that checks Query Containment for queries with negated IDB
predicates. Existing methods either deal only with restricted cases of negation or do not …

En aquesta tesi, proposem un nou mètode per a l'actualització consistent de bases de
dades deductives. Donada una petició d'actualització, aquest mètode tradueix de forma …

Primary Goals:• book covers many query languages (at least SQL, OQL, XQuery (XPath))•
techniques should be represented as query language independent as possible• book …

Executable models play a key role in many development methods (such as MDD and MDA)
by facilitating the immediate simulation/implementation of the software system under …

Hi ha moltíssima gent a la qual he d'agrair que aquesta tesi hagi estat possible, però sens
dubte he de començar per la persona que em va proposar aquest interessantíssim tema …

We present a method that checks Query Containment for queries with negated IDB
predicates. Existing methods either deal only with restricted cases of negation or do not …

Al capítol 4 d'aquesta tesi hem definit formalment el mètode que proposem per a
l'actualització consistent de bases de dades deductives. Com ja hem comentat anteriorment …