Deciding well-definedness of XQuery fragments

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

Volumn , Issue , 2005, Pages 37-48

  Vansummeren, Stijn ^a,b  

^a HASSELT UNIVERSITY   (Belgium)

^b RESEARCH FOUNDATION FLANDERS FWO   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING; SEMANTICS;

WELL-DEFINEDNESS PROBLEM; XQUERY FRAGMENTS;

QUERY LANGUAGES;

EID: 33244479225     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1065167.1065173     Document Type: Conference Paper

References (22)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations Of Databases. Addison-Wesley, 1995.
2. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. Typechecking XML views of relational databases. ACM Transactions on Computational Logic, 4(3):315-354, 2003.
3. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with data values: typechecking revisited. Journal of Computer and System Sciences, 66(4):688-727, 2003.
4. F. Bancilhon and S. Khoshafian. A calculus for complex objects. In Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 53-60. ACM Press, 1986.
5. P. V. Biron and A. Malhotra. XML Schema Part 2: Datatypes. W3C Recommendation, May 2001.
6. S. Boag, D. Chamberlin, M. F. Fernández, D. Florescu, J. Robie, and J. Siméon. X Query 1.0: An XML Query Language. W3C Working Draft, February 2005.
7. P. Buneman, M. Fernandez, and D. Suciu. UnQL: a query language and algebra for semistructured data based on structural recursion. VLDB Journal, 9(1):76-110, 2000.
8. P. Buneman, S. A. Naqvi, V. Tannen, and L. Wong. Principles of programming with complex objects and collection types. Theoretical Comput. Sci., 149(1):3-48, 1995.
9. D. Chamberlin, P. Fankhauser, D. Florescu, M. Marchiori, and J. Robie. XML Query Use Cases. W3C Working Draft, November 2003.
10. X. Dong, A. Halevy, and I. Tatarinov. Containment of nested XML queries. In Proceedings of the 30th VLDB Conference, pages 132-143. Morgan Kaufmann, 2004.
11. D. Draper, P. Fankhauser, M. F. Fernández, A. Malhotra, K. Rose, M. Rys, J. Siméon, and P. Wadler. XQuery 1.0 and XPath 2.0 Formal Semantics. W3C Working Draft, February 2005.
12. M. F. Fernández, D. Florescu, A. Levy, and D. Suciu. Declarative specification of Web sites with Strudel. The VLDB Journal, 9:38-55, 2000.
13. M. F. Fernández, A. Malhotra, J. Marsh, M. Nagy, and N. Walsh. XQuery 1.0 and XPath 2.0 Data Model. W3C Working Draft, February 2005.
14. J. Hidders, J. Paredaens, R. Vercammen, and S. Demeyer. A light but formal introduction to XQuery. In Proceedings of the Second International XML Database Symposium (XSym 2004), volume 3186 of Lecture Notes in Computer Science, pages 5-20. Springer-Verlag, 2004.
15. Y. Ioannidis and R. Ramakrishnan. Containment of conjunctive queries: Beyond relations as sets. ACM Transactions on Database Systems, 20(3):288-324, September 1995.
16. H. Katz, editor. XQuery from the Experts. Addison-Wesley, 2003.
17. L. Lakshmanan, G. Ramesh, H. Wang, and Z. J. Zhao. On testing satisfiability of tree pattern queries. In Proceedings of the 30th VLDB Conference, pages 120-131. Morgan Kaufmann, 2004.
18. A. Malhotra, J. Melton, and N. Walsh. XQuery 1.0 and XPath 2.0 Functions and Operators. W3C Working Draft, February 2005.
19. Y. Matiyasevich. Hilbert's 10th Problem. MIT Press, 1993.
20. H. S. Thompson, D. Beech, M. Maloney, and N. Mendelsohn. XML Schema Part 1: Structures, W3C Recommendation, May 2001.
21. J. Van den Bussche, D. Van Gucht, and S. Vansummeren. Well-definedness and semantic type-checking in the nested relational calculus and xquery. In Database Theory - ICDT 2005, volume 3363 of Lecture Notes in Computer Science, pages 99-113. Springer, 2005.
22. L. Wong. Querying nested collections. PhD thesis, University of Pennsylvania, 1994.