Expressiveness and complexity of XML schema

ACM Transactions on Database Systems

Volumn 31, Issue 3, 2006, Pages 770-813

  Martens, Wim ^a   Neven, Frank ^a   Schwentick, Thomas ^b   Bex, Geert Jan ^a  

^a HASSELT UNIVERSITY   (Belgium)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Validation; XML; XML Schema

Indexed keywords

CONTEXTUAL PATTERNS; ELEMENT DECLARATIONS CONSISTENT (EDC); VALIDATION; XML SCHEMA;

ABSTRACTING; ALGORITHMS; CONSTRAINT THEORY; PATTERN RECOGNITION; ROBUSTNESS (CONTROL SYSTEMS); SEMANTICS; XML;

DATABASE SYSTEMS;

EID: 33750148943     PISSN: 03625915     EISSN: 03625915     Source Type: Journal    
DOI: 10.1145/1166074.1166076     Document Type: Conference Paper

References (47)

1. ALUR, R. AND MADHUSUDAN, P. 2004. Visibly pushdown languages. In Proceedings of the 36th Symposium on the Theory of Computing (STOC 2004). ACM Press, New York, 202-211.
2. BALMIN, A., PAPAKONSTANTINOU, Y., AND VIANU, V. 2004. Incremental validation of XML documents. ACM Trans. Database Syst. 29, 4, 710-751.
3. BEX, G., MARTENS, W., NEVEN, F., AND SCHWENTICK, T. 2005. Expressiveness of XSDs: From practice to theory, there and back again. In Proceedings of the 14th International Conference on World Wide Web (WWW 2005). ACM Press, New York, 712-721.
4. BEX, G., NEVEN, F., AND VAN DEN BUSSCHE, J. 2004. DTDs versus XML schema: A practical study. In Proceedings of the International Workshop on the Web and Databases (WebDB 2004). 79-84.
5. BRAY, T., PAOLI, J., SPERBERG-MCQUEEN, C., MALER, E., AND YEROEAU, F. 2004. Extensible Markup Language (XML). Tech. rep. World Wide Web Consortium. Go online to http://www.w3.org/TR/REC-xml/.
6. BRÜGGEMANN-KLEIN, A., MURATA, M., AND WOOD, D. 2001. Regular tree and regular hedge languages over unranked alphabets: Version 1, April 3, 2001. Tech. rep. HKUST-TCSC-2001-0. The Hongkong University of Science and Technology, Hong Kong.
7. BRÜGGEMANN-KLEIN, A. AND WOOD, D. 1998. 1-unambiguous regular languages. Inf. Comput. 142, 2, 182-206.
8. BUCK, L., GOLDFARB, C., AND PRESCOD, P. 2000. Datatypes for DTDs (DT4DTD) 1.0. Tech. rep. World Wide Web Consortium. Go online to http: //www.w3.org/TR/dt4dtd/.
9. CLARK, J. 2002. Multi-format schema converter based on RELAX NG. Go online to http://www.thaiopensource.com/relaxng/trang.html.
10. CLARK, J. AND MURATA, M. 2001. Relax NG specification. Go online to http: //www. relaxng. org/spec-20011203.html.
11. COEN, C. S., MARINELLI, P., AND VITALI, F. 2004. Schemapath, a minimal extension to XML Schema for conditional constraints. In Proceedings of the 14th International Conference on the World Wide Web (WWW 2004). ACM Press, New York, 164-174.
12. COVER, R. 2005. The Cover Pages. Go online to http: //xml.coverpages. org/.
13. CRISTAU, J., LÖDING, C., AND THOMAS, W. 2005. Deterministic automata on unranked trees. In Proceedings of the 15th International Symposium on Fundamentals of Computation Theory (FCT 2005). Springer, Berlin, Germany, 68-79.
14. DUCHARME, B. 2002. Filling in the DTD gaps with schematron. O'Reilly xml.com, Sebastopol, CA.
15. FERNANDEZ, M., MALHOTRA, A., MARSH, J., NAGY, M., AND WALSH, N. 2005. XQuery 1.0 and XPath 2.0 data model. Tech. rep. World Wide Web Consortium. Go online to http://www.w3.org/TR/xpath-datamodel/.
16. FIORELLO, D., GESSA, N., MARINELLI, P., AND VITALI, F. 2004. DTD++ 2.0: Adding support for co-constraints. In Proceedings of the Extreme Markup Languages 2004 Conference (Extreme Markup Languages 2004).
17. FOKOUÉ, A. AND SCHLOSS, B. 2004. XML Schema quality checker. Go online to http://www.alphaworks.ibm.com/tach/xmlsqc.
18. HOPCROFT, J. AND ULLMAN, J. 1979. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Boston, MA.
19. HOSOYA, H. AND PIERCE, B. C. 2003. XDuce: A statically typed XML processing language. ACM Trans. Internet Team. 3, 2, 117-148.
20. HROMKOVIC, J., SEIBERT, S., AND WILKE, T. 2001. Translating regular expressions into small ε-free nondeterministic finite automata. J. Comput. Syst. Sci, 62, 4, 565-588.
21. JELLIFFE, R. 2001. The current state of the art of schema languages for XML. Presentation at XML Asia Pacific Conference, Sidney, Australia.
22. JELLIFFE, R. 2005. Schematron. Go online to http://xml.ascc.net/ schematron/.
23. KLARLUND, N., MøLLER, A., AND SCHWARTZBACH, M. I. 2002. The DSD schema language. Automat. Softw. Eng. 9, 3, 285-319.
24. KOCH, C. AND SCHERZINGER, S. 2003. Attribute grammars for scalable query processing on XML streams. In Proceedings of the 9th International Workshop on Database Programming Languages (DBPL 2003). Springer, Berlin, Germany, 233-256.
25. LEE, D. AND CHU, W. 2000. Comparative analysis of six XML schema languages. ACM SIGMOD Rec. 29, 3, 76-87.
26. MANI, M. 2001. Keeping chess alive - do we need 1-unambiguous content models? Presentation at Extreme Markup Languages Conference 2001.
27. MARTENS, W. AND NEVEN, F. 2004. Frontiers of tractability for typechecking simple XML transformations. In Proceedings of the 23d Symposium on Principles of Database Systems (PODS 2004). ACM Press, New York, 23-34.
28. MARTENS, W. AND NEVEN, F. 2005. On the complexity of typechecking top-down XML transformations. Theor. Comput. Sci. 336, 1, 153-180.
29. MARTENS, W., NEVEN, P., AND SCHWENTICK, T. 2004. Complexity of decision problems for simple regular expressions. In Proceedings of the 29th International Symposium on Mathematical Foundations of Computer Science (MFCS 2004). Springer, Berlin, Germany, 889-900.
30. MARTENS, W., NEVEN, F., AND SCHWENTICK, T. 2005. Which XML schemas admit 1-pass preorder typing? In Proceedings of the 10th International Conference on Database Theory (ICDT 2005). Springer, Berlin, Germany, 68-82.
31. MARTENS, W. AND NIEHREN, J. 2005. Minimizing tree automata for unranked trees. In Prodeedings of the 10th International Symposium on Database Programming Languages (DBPL 2005). Springer, Berlin, Germany, 232-246.
32. MURATA, M., LEE, D., AND MANI, M. 2001. Taxonomy of XML schema languages using formal language theory. In Proceedings of the Extreme Markup Languages 2001 Conference (Extreme Markup Languages 2001), Montreal, P. Q., Canada.
33. MURATA, M., LEE, D., MANI, M., AND KAWAOUCHI, K. 2005. Taxonomy of XML schema languages using formal language theory. ACM Trans. Internet Techn. 6, 4, 1-45.
34. NEVEN, F. 2002a. Automata, logic, and XML. In Conference for Computer Science Logic (CSL 2002). Springer, Berlin, Germany, 2-26.
35. NEVEN, F. 2002b. Automata theory for XML researchers. SIGMOD Rec. 31, 3, 39-46.
36. PAPAKONSTANTINOU, Y. AND VIANU, V. 2000. DTD inference for views of XML data. In Proceedings of the 19th Symposium on Principles of Database Systems (PODS 2000). ACM Press, New York, 35-46.
37. SAHUGUET, A. 2000. Everything you ever wanted to know about DTDs, but were afraid to ask. In Proceedings of the International Workshop on the Web and Databases (WebDB 2000).
38. SEGOUFIN, L. AND VIANU, V. 2002. Validating streaming XML documents. In Proceedings of the 21st Symposium on Principles of Database Systems (PODS 2002). ACM Press, New York, 53-64.
39. SEIDL, H. 1990. Deciding equivalence of finite tree automata. SIAM J. Comput. 19, 3, 424-437.
40. SIMÉON, J. AND WADLER, P. 2003. The essence of XML. In Proceedings of the 30th Symposium on Principles of Programming Languages (POPL 2003). ACM Press, New York, 1-13.
41. SPEHBERG-MCQUEEN, C. 2003. XML Schema 1.0: A language for document grammars. Presentation at the Joint International Conference of the Association for Computers and the Humanities Association for Literary and Linguistic Computing (ACH/ALLC 2003). Go online to http://www.w3.org/People/cmsmcq/2003/ achallc/achallc2003.html.
42. SPEHBERG-MCQUEEN, C. AND THOMPSON, H. 2005. XML Schema. Go online to http://www.w3.org/XML/Schema.
43. STOCKMEYER, L. AND MEYER, A. 1973. Word problems requiring exponential time: Preliminary report. In Conference Record of the Fifth Annual ACM Symposium on Theory of Computing (STOC 1973). ACM Press, New York, 1-9.
44. SUCIU, D. 2001. Typechecking for semistructured data. In Proceedings of the 8th Workshop on Data Bases and Programming Languages (DBPL 2001). Springer, Berlin, Germany, 1-20.
45. THOMPSON, H., BEECH, D., MALONEY, M., AND MENDELSOHN, N. 2004. XML Schema Part 1: Structures. Tech. rep. World Wide Web Consortium. Go online to http://www.w3.org/TR/xmlschema-1/.
46. VAN DER VLIST, E. 2002. XML Schema. O'Reilly, Sebastopol, CA.
47. VITALI, F., AMOROSI, N., AND GESSA, N. 2003. Datatype- and namespace-aware DTDs: A minimal extension. In Proceedings of the Extreme Markup Languages 2003 Conference (Extreme Markup Languages 2003).