Queries determined by views: Pack your views

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2007, Pages 23-30

  Marx, Maarten ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Definability; Guarded fragment; Query rewriting; Views

Indexed keywords

ALGEBRA; ALGORITHMS; DATABASE SYSTEMS;

DEFINABILITY; GUARDED FRAGMENT; PACKED FRAGMENT (PF); QUERY REWRITING;

QUERY PROCESSING;

EID: 35448958478     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1265530.1265534     Document Type: Conference Paper

References (31)

1. H. Andréka, J. van Benthem, and I. Németi. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217-274, 1998.
2. F. Baader and W. Nutt. Basic description logics. In The description logic handbook: theory, implementation, and applications, pages 43-95. Cambridge University Press, New York, NY, USA, 2003.
3. E. Beth. On Padoa's method in the theory of definition. Indagationes Mathematicae, 15:330-339, 1953.
4. E. Beth. Formal methods, An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Number 4 in Synthese Library. Reidel, Dordrecht, 1962.
5. D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Vardi. Lossless regular views. In Proceedings PODS, pages 247-258, 2002.
6. C. Chang and H. Keisler. Model Theory. North-Holland, 1973.
7. W. Craig. Three uses of the Herbrand-Gentzen theorem in relation to model theory and proof theory. Journal of Symbolic Logic, 22:269-285, 1957.
8. K. Doets. Basic Model Theory. CSLI Publications, Stanford, 1996.
9. M. Fitting. First Order Logic and Automated Theorem Proving (second edition). Springer Verlag, 1996.
10. J. Flum, M. Frick, and M. Grohe. Query evaluation via tree-decompositions. In Proceedings ICDT, pages 22-38, 2001.
11. H. Friedman. The complexity of explicit definitions. Advances in Mathematics, 20(1):18-29, 1976.
12. G. Gottlob, N. Leone, and F. Scarcello. Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. J. Comput. Syst. Sci., 66(4):775-808, 2003.
13. E. Grädei. On the restraining power of guards. Journal of Symbolic Logic, 64(4): 1719-1742, 1999.
14. E. Grädel. Guarded fixed point logics and the monadic theory of countable trees. Theor. Comput. Sci., 288(1):129-152, 2002.
15. S. Grumbach and L. Tininini. On the content of materialized aggregate views. In Proceedings PODS, pages 47-57, 2000.
16. I. Hodkinson. Loosely guarded fragment of first-order logic has the finite model property. Studia Logica, 70(2):205-240, 2002.
17. E. Hoogland. Algebraic characterizations of various beth definability properties. Studia Logica, 65(1):91-112, 2000.
18. E. Hoogland and M. Marx. Interpolation in the guarded fragment. Studia Logica, 70(3):273-409, 2002.
19. E. Hoogland, M. Marx, and M. Otto. Beth definability for the guarded fragment. In H. Ganzinger, D. McAllester, and A. Voronkov, editors, Logic for Programming and Automated Reasoning, 6th International Conference LPAR99, Tbilisi, Georgia, volume 1705 of LNAI, pages 273-285. Springer, 1999.
20. D. Leinders, M. Marx, J. Tysziewicz, and J. van den Bussche. The semijoin algebra and the guarded fragment. Journal of Logic, Language and Information, 14:331-343, 2005.
21. M. Marx and Y. Venema. Local variations on a loose theme: modal logic and decidability. In E. Grädel, P. Kolaitis, L. Libkin, M. Marx, J. Spencer, M. Vardi, Y. Venema, and S. Weinstein, editors, Finite Model Theory and its Applications. Springer-Verlag, 2007.
22. A. Nash, L. Segoufin, and V. Vianu. Determinaey and rewriting of conjunctive queries using views: a progress report. In Proceedings ICDT 2007, to appear.
23. D. Pigozzi. Amalgamation, congruence extension and interpolation properties in algebras. Algebra Universalis, 1:269-349, 1972.
24. L. Segoufin and V. Vianu. Views and queries: determinacy and rewriting. In Proceedings PODS, pages 49-60, 2005.
25. A. Tarski. Einige methodologische Untersuchungen über die Definierbarkeit der Begriffe. Erkenntnis, 5:80-100, 1935.
26. A. Tarski. Logic, semantics and metamathematics. Clarendon, Oxford, 1956.
27. B. ten Cate. Interpolation for extended modal languages. Journal of Symbolic Logic, 70(1):223-234, 2005.
28. B. ten Cate, W. Conradi, M. Marx, and Y. Venema. Definitorially complete description logics. In Proceedings KR. 2006, pages 79-89, 2006.
29. J. Van den Bussche. Applications of Alfred Tarski's ideas in database theory. Lecture Notes in Computer Science, 2142:20-37, 2001.
30. P. van Ulsen. E. W. Beth als logicus. PhD thesis, University of Amsterdam, 2000.
31. A. Visser. Uniform interpolation and layered bisimulation. In Gödel '96 (Brno, 1996), volume 6 of Lecture Notes Logic, pages 139-164. Springer, Berlin, 1996.