Mostra el registre d'ítem simple

dc.contributor.authorRull Fort, Guillem
dc.contributor.authorFarré Tost, Carles
dc.contributor.authorTeniente López, Ernest
dc.contributor.authorUrpí Tubella, Antoni
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2010-03-22T08:58:03Z
dc.date.available2010-03-22T08:58:03Z
dc.date.issued2010-03-19
dc.identifier.urihttp://hdl.handle.net/2117/6734
dc.description.abstractA 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.extent16 p.
dc.language.isoeng
dc.relation.ispartofseriesESSI-TR-10-4
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació::Bases de dades
dc.subject.lcshDatabases -- Design
dc.titleTesting Termination of Query Satisfiability Checking on Expressive Database Schemas
dc.typeExternal research report
dc.subject.lemacBases de dades -- Disseny
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.rights.accessOpen Access
drac.iddocument2197864
dc.description.versionPreprint
 Find Full text

Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets