Views and queries: Determinacy and rewriting

ACM Transactions on Database Systems

Volumn 35, Issue 3, 2010, Pages

  Nash, Alan ^a   Segoufin, Luc ^b   Vianu, Victor ^c  

^a Aleph One LLC   (United States)

^b INRIA   (France)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Algorithms; Design; Security; Theory; Verification

Indexed keywords

CONJUNCTIVE QUERIES; DESIGN SECURITY; FIRST-ORDER; QUERY REWRITING USING VIEWS; SECURITY; SPECIFIC LANGUAGES;

COMPUTABILITY AND DECIDABILITY; INFORMATION THEORY; LINGUISTICS;

QUERY LANGUAGES;

EID: 77955211754     PISSN: 03625915     EISSN: 15574644     Source Type: Journal    
DOI: 10.1145/1806907.1806913     Document Type: Article

References (36)

1. ABITEBOUL, S. AND DUSCHKA, O. M. 1998. Complexity of answering queries using materialized views. In Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'98). ACM, New York, 254-263
2. ABITEBOUL, S.,HULL, R., AND VIANU, V. 1995. Foundations of Databases. Addison-Wesley
3. AFRATI, F. 2007. Rewriting conjunctive queries determined by views. In Mathematical Foundations of Computer Science. Springer, Berlin, 78-89
4. AGRAWAL, S., CHAUDHURI, S., AND NARASAYYA, V. R. 2000. Automated sselection of materialized views and indexes in sql databases. In Proceedings of the 26th International Conference on Very Large Databases (VLDB'00). Morgan Kaufmann Publishers, San Fransisco, CA, 496-505
5. BANCILHON, F. AND SPYRATOS, N. 1981. Update semantics of relational views. ACM Trans. Datab Syst. 6, 557-575
6. BETH, E. 1953. On padoa's method in the theory of definition. Indagationes Mathematicae 15, 330-339
7. BORGER, E., GRADEL, E., AND GUREVICH, Y. 1997. The Classical Decision Problem. Springer
8. CALVANESE, D., DE GIACOMO, G. D., LENZERINI, M., AND VARDI, M. Y. 1999. Rewriting of regular expressions and regular path queries. In Proceedings of the 18th ACM SIGMOD-SIGACTSIGART Symposium on Principles of Database Systems (PODS'99). ACM, New York, 194-204
9. CALVANESE, D.,GIACOMO, G. D.,LENZERINI, M., AND VARDI,M. Y. 2000. View-Based query processing for regular path queries with inverse. In Proceedings of the ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'00). ACM, New York, 58-66
10. CALVANESE, D., GIACOMO, G. D., LENZERINI, M., AND VARDI, M. Y. 2002. Lossless regular views In Proceedings of the ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'02). 58-66
11. CHANG, C. AND KEISLER, H. 1977. Model Theory. North-Holland
12. CHEKURI, C. AND RAJARAMAN, A. 1997. Conjunctive query containment revisited. In Proceedings of the International Conference on Database Theory. Springer, 56-70
13. CRAIG,W. 1957. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symb. Logic 22, 3, 269-285
14. DAR, S., FRANKLIN, M. J., JÓNSSON, B. T., SRIVASTAVA, D., AND TAN, M. 1996. Semantic data caching and replacement. In Proceedings of the International Conference on Very Large Databases (VLDB'96). 330-341
15. DEUTSCH, A., POPA, L., AND TANNEN, V. 1999. Physical data independence, constraints, and optimization with universal plans. In Proceedings of the 25th International Conference on Very Large Databases (VLDB'99). Morgan Kaufmann Publishers, San Fransisco, CA, 459-470
16. DUSCHKA, O. M. AND GENERSERETH, M. R. 1997. Answering recursive queries using views. In Proceedings of the ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'97). 109-116
17. EBBINGHAUS, H.-D. AND FLUM, J. 1995. Finite Model Theory. Springer
18. GOTTLOB, G., LEONE, N., AND SCARCELLO, F. 2003. Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. J. Comput. Syst. Sci. 66, 4, 775-808
19. GRUMBACH, S., LACROIX, Z., AND LINDELL, S. 1995. Generalized implicit definitions on finite structures In Selected Papers from the 9th International Workshop on Computer Science Logic (CSL'95). Springer, 252-265
20. GRUMBACH, S., RAFANELLI, M., AND TINININI, L. 1999. Querying aggregate data. In Proceedings of the ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'99) 174-184
21. GRUMBACH, S. AND TINININI, L. 2003. On the content of materialized aggregate views. J. Comput Syst. Sci. 66, 1, 133-168
22. GRÄDEL, E. 1998. On the restraining power of guards. J. Symb. Logic 64, 1719-1742
23. GUREVICH, Y. 1966. The word problem for some classes of semigroups. Algebra Logic 5, 4, 25-35 In Russian
24. LEINDERS, D., MARX, M., TYSZKIEWICZ, J., AND BUSSSCHE, J. 2005. The semijoin algebra and the guarded fragment. J. Logic, Lang. Inform. 14, 3, 331-343
25. LEVY, A., MENDELZON, A., SAGIV, Y., AND SRIVASTAVA, D. 1995. Answering queries using views In Proceedings of the ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'95). 95-104
26. LIBKIN, L. 2004. Elements of Finite Model Theory. Texts in Theoretical Computer Science. An Eatcs Series. Springer
27. LINDELL, S. 1987. The logical complexity of queries on unordered graphs. Ph.D. thesis, University of California at Los Angeles
28. MARX, M. 2007. Queries determined by views: Pack your views. In Proceedings of the ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'07). 23-30
29. NASH, A., SEGOUFIN, L., AND VIANU, V. 2007. Dete4rminacy and rewriting of conjunctive queries using views: A progress report. In Proceedings of the International Conference on Database Theory. 59-73
30. OTTO, M. 2000. An interpolation theorem. Bull. Symb. Logic 6, 447-462
31. RAJARAMAN, A.,SAGIV, Y., ANDULLMAN, J.D. 1995. Answering queries using templateswith binding patterns (extended abstract). In Proceedings of the ACMSIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'95). 105-112
32. SEGOUFIN, L. AND VIANU, V. 2005. Views and queries: Determinacy and rewriting. In Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems 49-60
33. TARSKI, A. 1935. Einige methodologische untersuchungen über die definierbarkeit der begriffe Erkenntnis 5, 80-100
34. ULLMAN, J. D. 1997. Information integration using logical views. In Proceedings of the 6th International Conference on Database Theory. Springer, 19-40
35. VASSALOS, V. AND PAPAKONSTANTINOU, Y. 1997. Describing and using query capabilities of heterogeneous sources. In Proceedings of the 23rd International Conference on Very Large Databases (VLDB'97). Morgan Kaufmann Publishers, San Fransisco, CA, 256-265
36. YANG, H. Z. AND LARSON, P.-A. 1987. Query transformation for psj-queries. In Proceedings of the 13th International Conference on Very Large Databases (VLDB'87). Morgan Kaufmann Publishers, San Fransisco, CA, 245-254