Efficient revalidation of XML documents

IEEE Transactions on Knowledge and Data Engineering

Volumn 19, Issue 4, 2007, Pages 554-567

  Raghavachari, Mukund ^a   Shmueli, Oded ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Subtyping; Updates; Validation; XML; XML Schema

Indexed keywords

REVALIDATION; SCHEMA EVOLUTIONS; SUBTYPING; UPDATES; VALIDATION; XML DATUM; XML SCHEMA; XML-BASED PROGRAMMING LANGUAGES;

QUERY LANGUAGES; QUERY PROCESSING; XML;

MARKUP LANGUAGES;

EID: 64149087868     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/TKDE.2007.1004     Document Type: Article

References (23)

1. quot;XML Schema, Parts 0, 1, and 2," W3C Recommendation, World Wide Web Consortium, May 2001.
2. Extensible Markup Language (XML) 1.0 (Second Edition). World Wide Web Consortium, Oct. 2000.
3. quot;XQuery 1.0: An XML Query Language," W3C Working Draft, World Wide Web Consortium, Nov. 2000.
4. A. Balmin, Y. Papakonstantinou, and V. Vianu, "Incremental Validation of XML Documents," ACM Trans. Database Systems (TODS), vol. 29, no. 4, pp. 710-751, 2004.
5. M.Y. Levin and B.C. Pierce, "Type-Based Optimization for Regular Patterns," Proc. 10th Int'l Symp. Database Programming Languages, pp. 184-198, 2005.
6. A. Frisch, "Regular Tree Language Recognition with Static Information," Proc. Third IFIP Int'l Conf. Theoretical Computer Science, 2004.
7. Y. Papakonstantinou and V. Vianu, "Incremental Validation of XML Documents," Proc Int'l Conf. Database Theory, pp. 47-63, Jan. 2003.
8. D. Barbosa, A. Mendelzon, L. Libkin, L. Mignet, and M. Arenas, "Efficent Incremental Validation of XML Documents," Proc. 20th Int'l Conf. Data Eng. (ICDE), pp. 671-682, Mar. 2004.
9. B. Kane, H. Su, and E.A. Rundensteiner, "Consistently Updating XML Documents Using Incremental Constraint Check Queries," Proc. Workshop Web Information and Data Management (WIDM Ό2), pp. 1-8, Nov. 2002.
10. B. Bouchou and M.H.F. Alves, "Updates and Incremental Validation of XML Documents," Proc. Eighth Int'l Symp. Database Programming Languages, pp. 216-232, 2003.
11. F. Neven, "Automata Theory for XML Researchers," SIGMOD Record, vol. 31, no. 3, 2002.
12. G. Kuper and J. Siméon, "Subsumption for XML Types," Proc. Eighth Int'l Conf. Database Theory (ICDT), vol. 1973, pp. 331-345, Jan. 2001.
13. J. Hopcroft and J. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
14. M. Raghavachari and O. Shmueli, "Efficient Schema-Based Revalidation of XML," Proc. Extending Database Technology (EDBT), Mar. 2004.
15. T.H. Cormen, C.E. Leiserson, and R.L. Rivest, Introduction to Algorithms. The MIT Press, 1989.
16. A. Bruggemann-Klein and D. Wood, "One-Unambiguous Regular Languages," Information and Computation, vol. 142, no. 2, pp. 182- 206, May 1998.
17. W. Martens, F. Neven, and T. Schwentick, "Complexity of Decision Problems for Simple Regular Expressions," Proc. 29th Symp. Math. Foundations of Computer Science, pp. 889-900, 2004.
18. M. Harrison, Introduction to Formal Language Theory. Addison- Wesley, 1978.
19. Xerces2 Java Parser, Apache Software Foundation, http://xml.apache.org/, 2005.
20. D. Kozen, J. Palsberg, and M. Scwartzbach, "Efficient Recursive Subtyping," Math. Structures in Computer Science, vol. 5, no. 1, pp. 113-125, 1995.
21. A. Schmidt, F. Waas, M. Kersten, M. Carey, I. Manolescu, and R. Busse, "Xmark: A Benchmark for XML Data Management," Proc. 28th Int'l Conf. Very Large Databases (VLDB), pp. 974-985, 2002.
22. quot;Document Qbject Model Level 2 Core," W3C Recommendation, World Wide Web Consortium, Nov. 2000.
23. M. Murata, D. Lee, and M. Mani, "Taxonomy of XML Schema Languages Using Formal Language Theory," Proc. 2001 Extreme Markup Languages Conf., 2001. 568-580