Mostra el registre d'ítem simple
Testing Termination of Query Satisfiability Checking on Expressive Database Schemas
dc.contributor.author | Rull Fort, Guillem |
dc.contributor.author | Farré Tost, Carles |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.author | Urpí Tubella, Antoni |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.date.accessioned | 2010-03-22T08:58:03Z |
dc.date.available | 2010-03-22T08:58:03Z |
dc.date.issued | 2010-03-19 |
dc.identifier.uri | http://hdl.handle.net/2117/6734 |
dc.description.abstract | A query is satisfiable if there is at least one consistent instance of the database in which it has a non-empty answer. Defining queries on a database schema and checking their satisfiability can help the database designer to be sure whether the produced database schema is what was intended. The formulation of such queries may easily require the use of some arithmetic comparisons or negated expressions. Unfortunately, checking the satisfiability of this class of queries on a database schema that most likely have some integrity constraints (e.g., keys, foreign keys, Boolean checks) is, in general, undecidable. However, although the problem is undecidable for such a class of schemas and queries, it may not be so for a particular query satisfiability check. In this paper, we propose to perform a termination test as a previous step to query satisfiability checking. If positive, the termination test guarantees that the corresponding query satisfiability check will terminate. We assume the CQC method is the underlying query satisfiability checking method; to the best of our knowledge, it is the only method of this kind able to deal with schemas and queries as expressive as the ones we consider. |
dc.format.extent | 16 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | ESSI-TR-10-4 |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació::Bases de dades |
dc.subject.lcsh | Databases -- Design |
dc.title | Testing Termination of Query Satisfiability Checking on Expressive Database Schemas |
dc.type | External research report |
dc.subject.lemac | Bases de dades -- Disseny |
dc.contributor.group | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.rights.access | Open Access |
local.identifier.drac | 2197864 |
dc.description.version | Preprint |
local.personalitzacitacio | true |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [154]
-
Reports de recerca [46]
-
Reports de recerca [1.107]