Incremental constraint checking for XML documents

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3186, Issue , 2004, Pages 112-127

  Abrão, Maria Adriana ^a   Bouchou, Béatrice ^a   Ferrari, Mírian Halfeld ^a   Laurent, Dominique ^b   Musicante, Martin A ^c  

^a UNIVERSITÉ DE TOURS   (France)

^b UNIVERSITÉ DE CERGY PONTOISE   (France)

^c FEDERAL UNIVERSITY OF PARANÁ   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

FORESTRY;

BOTTOM UP; KEY CONSTRAINTS; ONE-PASS; TREE TRANSDUCERS; WHOLE PROCESS; XML CONSTRAINTS;

XML;

EID: 21144458065     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30081-6_9     Document Type: Article

References (19)

1. M. A. Abrao, B. Bouchou, M. Halfeld-Ferrari, D. Laurent, and M. A. Musicante. Update validation for XML in the presence of schema, key and foreign key constraints. Technical report, Université François Rabelais Blois-Tours-Chinon, 2004 (to appear).
2. M. Arenas, W. Fan, and L. Libkin. On verifying consistency of XML specifications. In ACM Symposium on Principles of Database System, 2002.
3. M. Benedikt, G. Bruns, J. Gibson, R. Kuss, and A. Ng. Automated update management for XML integrity constraints. In Programming Language Technologies for XML (PLANX02), 2002.
4. M. Benedikt, C-Y Chan, W. Fan, J. Freire, and R. Rastogi. Capturing both types and constraints in data integration. In ACM Press, editor, SIGMOD, San Diego, CA, 2003.
5. B. Bouchou and M. Halfeld Ferrari Alves. Updates and incremental validation of XML documents. In Springer, editor, The 9th International Workshop on Database Programming Languages (DBPL), number 2921 in LNCS, 2003.
6. B. Bouchou, M. Halfeld Ferrari Alves, and M. A. Musicante. Tree automata to verify key constraints. In Web and Databases (WebDB), San Diego, CA, USA, June 2003.
7. M. G. J. van den Brand, J. Heering, P. Klint, and P. A. Olivier. Compiling rewrite systems: The ASF+SDF compiler. ACM, Transactions on Programming Languages and Systems, 24, 2002.
8. P. Buneman, S. Davidson, W. Fan, C. Hara, and W. C. Tan. Keys for XML. In WWW10, May 2-5, 2001.
9. Y. Chen, S. B. Davidson, and Y. Zheng. XKvalidator: a constraint validator for XML. In ACM Press, editor, Proceedings of the 11th International Conference on Information and Knowledge Management, pages 446-452, 2002.
10. B. Chidlovskii. Using regular tree automata as XML schemas. In Proc. IEEE Advances in Digital Libraries Conference, May 2000.
11. W. Fan and L. Libkin. On XML integrity constraints in the presence of DTDs. Journal of the ACM, 49(3):368-406, 2002.
12. G. M. Gargi, J. Hammer, and J. Simeon. An XQuery-based language for processing updates in XML. In Programming Language Technologies for XML (PLANX04), 2004.
13. J. E. Hopcroft, R. Motwani, and J. D. Ullman. Introduction to Automata Theory Languages and Computation. Addison-Wesley Publishing Company, second edition, 2001.
14. W. S. Means and M. A. Bodie. The Book of SAX: The Simple API for XML. No Starch Press, 2002.
15. T. Milo, D. Suciu, and V. Vianu. Typechecking for XML transformers. In ACM Symposium on Principles of Database System, pages 11-22, 2000.
16. M. Murata, D. Lee, and M. Mani. Taxonomy of XML schema language using formal language theory. In Extreme Markup Language, Montreal, Canada, 2001.
17. Y. Papakonstantinou and V. Vianu. Incremental validation of XML documents. In Proceedings of the International Conference on Database Theory (ICDT), 2003.
18. L. Segoufin and V. Vianu. Validating streaming XML documents. In ACM Symposium on Principles of Database System, 2002.
19. L. Wood, A. Le Hors, V. Apparao, S. Byrne, M. Champion, S. Issacs, I. Jacobs, G. Nicol, J. Robie, R. Sutor, and C. Wilson. Document Object Model (DOM) Level 1 Specification. W3C Recommendation, http://www.w3.org/XML, 2000.