DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/6734

Arxiu Descripció MidaFormat
report-termination.pdf317,9 kBAdobe PDFThumbnail
Veure/Obrir

Títol: Testing Termination of Query Satisfiability Checking on Expressive Database Schemas
Autor: Rull Fort, Guillem Veure Producció científica UPC; Farré Tost, Carles Veure Producció científica UPC; Teniente López, Ernest Veure Producció científica UPC; Urpí Tubella, Antoni Veure Producció científica UPC
Data: 19-mar-2010
Tipus de document: External research report
Citació: ESSI-TR-10-4
Resum: 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.
URI: http://hdl.handle.net/2117/6734
Apareix a les col·leccions:MPI - Modelització i processament d´informació. Reports de recerca
Departament de Ciències de la Computació. Reports de recerca
Departament d'Enginyeria de Serveis i Sistemes d'Informació. Reports de recerca
Altres. Enviament des de DRAC
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

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.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius