Types for path correctness of XML queries

ACM SIGPLAN Notices

Volumn 39, Issue 9, 2004, Pages 126-137

  Colazzo, Dario ^a   Ghelli, Giorgio ^a   Manghi, Paolo ^a   Sartiani, Carlo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

Type Correctness; XML Queries; XML Types

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION; DATABASE SYSTEMS; ERROR ANALYSIS; NAVIGATION; QUERY LANGUAGES;

NAVIGATION-ERRORS; QUERY GRAMMAR; TYPE CORRECTNESS; XML TYPES;

XML;

EID: 9744246962     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/1016848.1016869     Document Type: Conference Paper

References (18)

1. S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J. Wiener. The Lorel Query Language for Semistuctured Data. Journal of Digital Libraries, 1( 1), pages 68-88, April 1997.
2. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. Type-checking XML Views of Relational Databases. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts, USA, Proceedings. IEEE Computer Society, 2001, pages 421-430, 2001.
3. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu. XML with Data Values: Typechecking Revisited. In Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 21-23, 2001, Santa Barbara, California, USA, 2001.
4. V. Benzaken, G. Castagna, and A. Frisch. CDuce: an XML-centric general-purpose language. In Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, pages 51-63. ACM Press, 2003.
5. V. Benzaken, G. Castagna, and C. Miachon. CQL: a Pattern-based Query Language for XML. In Proceedings of 20th Bases de Données Avancées (BDA) (2004), 2004.
6. S. Boag, D. Chamberlin, M. F. Fernandez, D. Florescu, J. Robie, and J. Siméon. XQuery 1.0: An XML Query Language. Technical report, World Wide Web Consortium, May 2003. W3C Working Draft.
7. P. Buneman, S. Davidson, and D. Suciu. Programming constructs for unstructured data. In Proceedings of 5th International Workshop on Database Programming Languages, Gubbio, Italy, September 1995.
8. D. Chamberlin, P. Fankhauser, D. Florescu, M. Marchiori, and J. Robie. XML Query Use Cases. Technical report, World Wide Web Consortium, Nov 2003. W3C Working Draft.
9. D. Colazzo. Path Correctness for XML Queries: Characterization and Static Type Checking. PhD thesis, Dipartimento di Informatica, Università di Pisa, 2004.
10. D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani. Types For Correctness of Queries Over Semistructured Data. In Proceedings of the Fifth International Workshop on the Web and Databases (WebDB 2002), Madison, Wisconsin, June 6-7, 2002, 2002.
11. H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree Automata Techniques and Applications. Available on: http://www.grappa.univ-lille3.fr/tata. 1997. release October, 1rst 2002.
12. D. Draper, P. Fankhauser, M. Fernandez, A. Malhotra, K. Rose, M. Rys, J. Siméon, and P. Wadler. XQuery 1.0 and XPath 2.0 Formal Semantics. Technical report, World Wide Web Consortium, Aug. 2003. W3C Working Draft.
13. M. Fernandez, D. Florescu, A. Levy, and D. Suciu. A query language for a Web-site management system. SIGMOD Record (ACM Special Interest Group on Management of Data), 26(3):4-11, September 1997.
14. H. Hosoya and B. C. Pierce. XDuce: An XML Processing Language, 1999. Preliminary Report.
15. D. Lee, M. Mani, and M. Murata. Reasoning about XML Schema Languages using Formal Language Theory. Technical report, IBM Almaden Research, 2000. Technical Report IBM Almaden Research.
16. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML Transformers. In Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pages 11-22. ACM Press, 2000.
17. H. S. Thompson, D. Beech, M. Maloney, and N. Mendelsohn. XML Schema Part 1: Structures. Technical report, World Wide Web Consortium, May 2002. W3C Recommendation.
18. F. Yergeau, T. Bray, J. Paoli, C. M. Sperberg-McQueen, and E. Maler. Extensible Markup Language (XML) 1.0 (Third Edition). Technical report, World Wide Web Consortium, Feb 2004. W3C Recommendation.