View-based query processing: On the relationship between rewriting, answering and losslessness

Theoretical Computer Science

Volumn 371, Issue 3, 2007, Pages 169-182

  Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   Lenzerini, Maurizio ^b   Vardi, Moshe Y ^c  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c Rice University   (United States)

Author keywords

Conjunctive queries; Losslessness; Query answering; Query containment; Query rewriting; Regular path queries; Semistructured data

Indexed keywords

APPROXIMATION THEORY; AUTOMATA THEORY; CONSTRAINT THEORY; DATA PROCESSING; DATA STRUCTURES; DATABASE SYSTEMS;

CONJUNCTIVE QUERIES; LOSSLESSNESS; QUERY ANSWERING; QUERY CONTAINMENT; QUERY PROCESSING; QUERY REWRITING; REGULAR PATH QUERIES; SEMISTRUCTURED DATA;

QUERY LANGUAGES;

EID: 33846821672     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.11.006     Document Type: Article

References (33)

1. A.Y. Levy, A.O. Mendelzon, Y. Sagiv, D. Srivastava, Answering queries using views, in: Proc. of the 14th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'95, 1995, pp. 95-104
2. Ullman J.D. Information integration using logical views. Proc. of the 6th Int. Conf. on Database Theory. ICDT'97. Lecture Notes in Computer Science vol. 1186 (1997), Springer 19-40
3. S. Abiteboul, O. Duschka, Complexity of answering queries using materialized views, in: Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'98, 1998, pp. 254-265
4. Halevy A.Y. Answering queries using views: A survey. Very Large Database J. 10 4 (2001) 270-294
5. O.M. Duschka, M.R. Genesereth, Answering recursive queries using views, in: Proc. of the 16th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'97, 1997, pp. 109-116
6. D. Calvanese, G. De Giacomo, M. Lenzerini, M.Y. Vardi, Answering regular path queries using views, in: Proc. of the 16th IEEE Int. Conf. on Data Engineering, ICDE 2000, 2000, pp. 389-398
7. D. Calvanese, G. De Giacomo, M. Lenzerini, M.Y. Vardi, View-based query containment, in: Proc. of the 22nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2003, 2003, pp. 56-67
8. F.N. Afrati, C. Li, P. Mitra, Answering queries using views with arithmetic comparisons, in: Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2002, 2002, pp. 209-220
9. Flesca S., and Greco S. Rewriting queries using views. IEEE Trans. Knowl. Data Eng. 13 6 (2001) 980-995
10. R. Chirkova, A.Y. Halevy, D. Suciu, A formal perspective on the view selection problem, in: Proc. of the 27th Int. Conf. on Very Large Data Bases, VLDB 2001, 2001, pp. 59-68
11. C. Li, M. Bawa, J.D. Ullman, Minimizing view sets without losing query-answering power, in: Proc. of the 8th Int. Conf. on Database Theory, ICDT 2001, 2001, pp. 99-113
12. S. Grumbach, L. Tininini, On the content of materialized aggregate views, in: Proc. of the 19th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2000, 2000, pp. 47-57
13. D. Calvanese, G. De Giacomo, M. Lenzerini, M.Y. Vardi, Lossless regular views, in: Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2002, 2002, pp. 58-66
14. P. Buneman, Semistructured data, in: Proc. of the 16th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS'97, 1997, pp. 117-121
15. S. Abiteboul, Querying semi-structured data, in: Proc. of the 6th Int. Conf. on Database Theory, ICDT'97, 1997, pp. 1-18
16. Florescu D., Levy A., and Mendelzon A. Database techniques for the world-wide web: A survey. SIGMOD Record 27 3 (1998) 59-74
17. Abiteboul S., Buneman P., and Suciu D. Data on the Web: From Relations to Semistructured Data and XML (2000), Morgan Kaufmann
18. P. Buneman, S. Davidson, G. Hillebrand, D. Suciu, A query language and optimization technique for unstructured data, in: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, 1996, pp. 505-516
19. Abiteboul S., Quass D., McHugh J., Widom J., and Wiener J.L. The Lorel query language for semistructured data. Int. J. Digit. Libr. 1 1 (1997) 68-88
20. J. Clark, S. DeRose, XML Path Language (XPath) version 1.0-W3C recommendation 16 november 1999, Tech. rep., World Wide Web Consortium, available at http://www.w3.org/TR/1999/REC-xpath-19991116, 1999
21. Milo T., and Suciu D. Index structures for path expressions. Proc. of the 7th Int. Conf. on Database Theory. ICDT'99. Lecture Notes in Computer Science vol. 1540 (1999), Springer 277-295
22. M.F. Fernandez, D. Florescu, J. Kang, A.Y. Levy, D. Suciu, Catching the boat with Strudel: Experiences with a web-site management system, in: Proc. of the ACM SIGMOD Int. Conf. on Management of Data, 1998, pp. 414-425
23. A. Deutsch, M.F. Fernandez, D. Florescu, A. Levy, D. Suciu, XML-QL: A query language for XML, Submission to the World Wide Web Consortium, available at http://www.w3.org/TR/NOTE-xml-ql, August 1998
24. D. Calvanese, G. De Giacomo, M. Lenzerini, M.Y. Vardi, Query processing using views for regular path queries with inverse, in: Proc. of the 19th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, PODS 2000, 2000, pp. 58-66
25. Calvanese D., De Giacomo G., Lenzerini M., and Vardi M.Y. Reasoning on regular path queries. SIGMOD Rec. 32 4 (2003) 83-92
26. Calvanese D., De Giacomo G., Lenzerini M., and Vardi M.Y. Rewriting of regular expressions and regular path queries. J. Comput. Syst. Sci. 64 3 (2002) 443-465
27. Reiter R. On closed world data bases. In: Gallaire H., and Minker J. (Eds). Logic and Databases (1978), Plenum Publ. Co. 119-140
28. Feder T., and Vardi M.Y. The computational structure of monotone monadic SNP and constraint satisfaction. SIAM J Comput. 28 (1999) 57-104
29. Grahne G., and Mendelzon A.O. Tableau techniques for querying information sources through global schemas. Proc. of the 7th Int. Conf. on Database Theory. ICDT'99. Lecture Notes in Computer Science vol. 1540 (1999), Springer 332-347
30. Hopcroft J.E., and Ullman J.D. Introduction to Automata Theory, Languages, and Computation (1979), Addison Wesley Publ. Co.
31. D. Calvanese, G. De Giacomo, M. Lenzerini, M.Y. Vardi, View-based query processing and constraint satisfaction, in: Proc. of the 15th IEEE Symp. on Logic in Computer Science, LICS 2000, 2000, pp. 361-371
32. M.Y. Vardi, A temporal fixpoint calculus, in: Proc. of the 15th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL'88, San Diego, CA, USA, 1988, pp. 250-259
33. Vardi M.Y. A note on the reduction of two-way automata to one-way automata. Inform. Process. Lett. 30 5 (1989) 261-264