Managing Database Incompleteness with the Guarded Fragment

Traditional databases do not explicitly represent the portions over their schemas for which they are sound and complete. This paper proposes a method by which very fine grained meta-data descriptio ...

[1]  P. Bernays,et al.  Zum Entscheidungsproblem der mathematischen Logik , 1928 .

[2]  Michael Minock.  Knowledge Representation using Schema Tuple Queries , 2003, KRDB.

[3]  John C. Mitchell.  The Implication Problem for Functional and Inclusion Dependencies , 1984, Inf. Control..

[4]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[5]  Alon Y. Halevy,et al.  Answering queries using views: A survey , 2001, The VLDB Journal.

[6]  Alberto O. Mendelzon,et al.  Tableau Techniques for Querying Information Sources through Global Schemas , 1999, ICDT.

[7]  Serge Abiteboul,et al.  Complexity of answering queries using materialized views , 1998, PODS.

[8]  Erich Grädel,et al.  On the Restraining Power of Guards , 1999, Journal of Symbolic Logic.

[9]  E. F. Codd,et al.  Relational Completeness of Data Base Sublanguages , 1972, Research Report / RJ / IBM / San Jose, California.

[10]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[11]  Harald Ganzinger,et al.  A superposition decision procedure for the guarded fragment with equality , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).

[12]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[13]  Amihai Motro.  Panorama: A database system that annotates its answers to queries with their properties , 2004, Journal of Intelligent Information Systems.

[14]  Mark Levene,et al.  How to Prevent Interaction of Functional and Inclusion Dependencies , 1999, Inf. Process. Lett..

[15]  Alexander Borgida,et al.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..

[16]  Johan van Benthem,et al.  Modal Languages and Bounded Fragments of Predicate Logic , 1998, J. Philos. Log..

[17]  David Harel,et al.  Structure and Complexity of Relational Queries , 1980, FOCS.

[18]  Moshe Y. Vardi,et al.  The Implication Problem for Functional and Inclusion Dependencies is Undecidable , 1985, SIAM J. Comput..

[19]  Ashok K. Chandra,et al.  Optimal implementation of conjunctive queries in relational data bases , 1977, STOC '77.

[20]  John Grant,et al.  Logic-based approach to semantic query optimization , 1990, TODS.