Static analysis for path correctness of XML queries

Journal of Functional Programming

Volumn 16, Issue 4-5, 2006, Pages 621-661

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

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PRECISE DEFINITION; RECURSIONS; SOUND AND COMPLETE; TYPE SYSTEMS; XML QUERIES; XML QUERY LANGUAGE;

ERRORS; QUERY PROCESSING;

XML;

EID: 33747182206     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796806005983     Document Type: Conference Paper

References (26)

1. Abiteboul, S., Quass, D., McHugh, J., Widom, J. & Wiener, J. L. (1997) The Lorel Query Language for Semistuctured Data. Journal of Digital Libraries, 1(1), April, 68-88.
2. Alon, Noga, Milo, Tova, Neven, Frank, Suciu, Dan & Vianu, Victor (2001a) Typechecking XML Views of Relational Databases. Pages 421-430 of: Proceedings of the 16th annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, MA. IEEE Computer Society, 2001.
3. Alon, Noga, Milo, Tova, Neven, Frank, Suciu, Dan & Vianu, Victor (2001b) XML with Data Values: Typechecking Revisited. Proceedings of the Twentieth ACM Sigact-Sigmod-Sigart Symposium on Principles of Database Systems, May 21-23 2001, Santa Barbara, CA.
4. Benzaken, Véronique, Castagna, Giuseppe & Miachon, Cédric (2005) A full pattern-based paradigm for xml query processing. Proceeding of 7th International Symposium on Practical Aspects of Declarative Languages (PADL 2005), Long Beach, CA, January 10-11 2005. Lecture Notes in Computer Science, vol. 3350. Springer.
5. Benzaken, Vronique, Castagna, Giuseppe & Frisch, Alain (2003) CDuce: an XML-centric general-purpose language. Pages 51-63 of: Proceedings of the Eighth ACM Sigplan International Conference on Functional Programming. ACM Press.
6. Benzaken, Vronique, Castagna, Giuseppe & Miachon, Cdric (2004) CQL: a Pattern-based Query Language for XML. Proceedings of 20th Bases de Données Avancées (BDA) (2004).
7. Boag, Scott, Chamberlin, Don, Fernandez, Mary F., Florescu, Daniela, Robie, Jonathan & Siméon, Jérôme (2003) X Query 1.0: An XML Query Language. Tech. rept. World Wide Web Consortium. W3C Working Draft.
8. Buneman, P., Davidson, S. & Suciu, D. (1995) Programming constructs for unstructured data. Proceedings of 5th International Workshop on Database Programming Languages.
9. Castagna, Giuseppe, Colazzo, Dario & Frisch, Alain (2005) Error Mining for Regular Expression Patterns. Italian Conference on Theoretical Computer Science (ICTCS). LNCS.
10. Chamberlin, Don, Fankhauser, Peter, Florescu, Daniela, Marchiori, Massimo & Robie, Jonathan (2003) XML Query Use Cases. Tech. rept. World Wide Web Consortium. W3C Working Draft.
11. Colazzo, Dario & Sartiani, Carlo (2005) Typechecking Queries for Maintaining Schema Mappings in XML P2P Databases. Proceedings of the Workshop on Programming Language Technologies for XML (Plan-x 2005), in Conjunction with POPL 2005.
12. Colazzo, Dario, Ghelli, Giorgio, Manghi, Paolo & Sartiani, Carlo (2002) Types For Correctness of Queries Over Semistructured Data. Proceedings of the Fifth International Workshop on the Web and Databases (WebDB 2002), Madison, WI, June 6-7 2002.
13. Colazzo, Dario, Ghelli, Giorgio, Manghi, Paolo & Sartiani, Carlo (2004) Types for Path Correctness for XML Queries. Proceedings of the ACM International Conference on Functional Programming (ICFP), Snowbird, UT.
14. Comon, H., Dauchet, M., Gilleron, R., Jacquemard, F., Lugiez, D., Tison, S. & Tommasi, M. (1997) Tree Automata Techniques and Applications. Available on: http://www.grappa.univ-lille3.fr/tata. Release October 1 2002.
15. Draper, Denise, Fankhauser, Peter, Fernandez, Mary, Malhotra, Ashok, Rose, Kristoffer, Rys, Michael, Siméon, Jérôme & Wadler, Philip (2003) X Query 1.0 and X Path 2.0 Formal Semantics. Tech. rept. World Wide Web Consortium. W3C Working Draft.
16. Fernandez, M., Florescu, D., Levy, A. & Suciu, D. (1997) A query language for a Web-site management system. Sigmod Record (ACM SIG on Management of Data), 26(3), 4-11.
17. Fernández, Mary F., Siméon, Jérôme & Wadler, Philip (2001) A semi-monad for semistructured data. Pages 263-300 of: den Bussche, Jan Van and Vianu, Victor (eds.), LCDT. Lecture Notes in Computer Science, vol. 1973. Springer.
18. Guerra, Rui, Jeuring, Johan & Swierstra, Doaitse (2005) Generic Validation of XPath Data Bindings. Proceedings of the Workshop on Programming Language Technologies for XML (Plan-x 2005), colocated with POPL 2005.
19. Hosoya, Haruo & Pierce, Benjamin C. (2003) Xduce: A statically typed XML processing language. Acm Trans. Internet Techn., 3(2), 117-148.
20. Lee, D., Mani, M. & Murata, M. (2000) Reasoning about XML Schema Languages using Formal Language Theory. Tech. rept. IBM Almaden Research. Technical Report - IBM Almaden Research.
21. Milo, Tova, Suciu, Dan & Vianu, Victor (2000) Typechecking for XML Transformers. Pages 11-22 of: Proceedings of the Nineteenth ACM Sigmod-Sigact-Sigart Symposium on Principles of Database Systems. ACM Press.
22. Schmidt, Albrecht, Waas, Florian, Kersten, Martin L., Carey, Michael J., Manolescu, Ioana & Busse, Ralph (2002) Xmark: A benchmark for XML data management. Pages 974-985 of: Vldb 2002, Proceedings of 28th International Conference on Very Large Data Bases, August 20-23 2002, Hong Kong China.
23. Siméon, Jérôme & Wadler, Philip (2003) The essence of XML. Pages 1-13 of: Popl 2003, Proceedings of the 30th Sigplan-Sigact Symposium on Principles of Programming Languages, New Orleans, LA, January 15-17 2003.
24. Tarski, Alfred (1955) A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5, 285-309.
25. Thompson, Henry S., Beech, David, Maloney, Murray & Mendelsohn, Noah (2002) XML Schema Part 1: Structures. Tech. rept. World Wide Web Consortium. W3C Recommendation.
26. Yergeau, Francis, Bray, Tim, Paoli, Jean, Sperberg-McQueen, C. M. & Maler, Eve (2004) Extensible Markup Language (XML) 1.0 (Third Edition). Tech. rept. World Wide Web Consortium. W3C Recommendation.