Efficient incremental validation of XML documents

Proceedings - International Conference on Data Engineering

Volumn 20, Issue , 2004, Pages 671-682

  Barbosa, Denilson ^a   Mendelzon, Alberto O ^a   Libkin, Leonid ^a   Mignet, Laurent ^a   Arenas, Marcelo ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

INCREMENTAL VALIDATION; LOGARITHMIC ALGORITHMS; MIXED CONTENT MODEL; STORAGE MECHANISMS;

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CONSTRAINT THEORY; SET THEORY; XML;

INFORMATION RETRIEVAL SYSTEMS;

EID: 2442607527     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDE.2004.1320036     Document Type: Conference Paper

References (21)

1. P. Bohannon, J. Freire, P. Roy, and J. Siméon. From XML schema to relations: A cost-based approach to XML storage. In Proceedings of the 18th International Conference on Data Engineering, pages 64-75, 2002.
2. A. Brüggemann-Klein. Regular expressions into finite automata. Theoretical Computer Science, 120(2): 197-213, 1993.
3. A. Bruggemann-Klein and D. Wood. One-unambiguous regular languages. Information and Computation, 142:182-206, 1998.
4. B. Choi. What are real DTDs like? In Proceedings of the 5th International Workshop on the Web and Databases, pages 43,48, Madison, Wisconsin, United States, 2002.
5. G. Dong and J. Su. Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. SIGMOD Record, 29(1):44-51, 2000.
6. A. Gupta and I. S. Mumick, editors. Materialized Views-Techniques, Implementations and Applications. MIT Press, 1998.
7. J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 2nd edition, 2001.
8. L. Mignet, D. Barbosa, and P. Veltri. The XML Web: A First Study. In Proceedings of the 12th International Conference on World Wide Web, 2003.
9. P. B. Miltersen, S. Subramanian, J. S. Vitter, and R. Tamassia. Complexity Models for Incremental Computation. Theoretical Computer Science, 130(1):203-236, 1994.
10. Y. Papakonstantinou and V. Vianu. DTD Inference for Views of XML Data. In Proceedings of the 19th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 35-46, 2000.
11. Y. Papakonstantinou and V. Vianu. Incremental validation of XML documents. In Proceeedings of The 9th International Conference on Database Theory, 2003.
12. S. Patnaik and N. Immerman. Dyn-FO: A Parallel, Dynamic Complexity Class. In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pages 210-221, 1994.
13. A. R. Schmidt, F. Waas, M. L. Kersten, M. J. Carey, I. Manolescu, and R. Busse. XMark: A Benchmark for XML Data Management. In Proceedings of the 28th International Conference on Very Large Data Bases, 2002.
14. L. Segoufin. Typing and Querying XML Documents: Some Complexity Bounds. In Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 167-178, 2003.
15. L. Segoufin and V. Vianu. Validating streaming XML documents. In Proceedings of the 21st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 53-64, 2002.
16. D. Suciu. Query Decomposition and View Maintenance for Query Languages for Unstructured Data. In Proceedings of 22th International Conference on Very Large Data Bases, pages 227-238, 1996.
17. I. Tatarinov, Z. G. Ives, A. Y. Halevy, and D. S. Weld. Updating XML. In Proceedings of the 2001 ACM SIGMOD International Conference on Management of Data, pages 413-424, 2001.
18. H. Vollmer. Introduction to Circuit Complexity. Springer Verlag, 1999.
19. Extensible markup language (XML) 1.0 - second edition. W3C Recommendation, 2000. Available at: http://www.w3.org/TR/2000/REC-xml-20001006.
20. XML Schema part 1: Structures. W3C Recommendation, 2001. Available at: http://www.wS.org/TR/xmlschema-1/.
21. S. Yu. Regular languages. In Handbook of Formal Languages, volume 1, pages 41-110. Springer, 1997.