Abstract
We study the validation of XML documents when they are updated in XML databases. An XML document can be verified by checking against an XML Schema, which contains structure and type information of XML documents. However, most of XML database systems just validate the whole XML document, but can not validate parts of it. If updates are very frequent, then validating the whole XML document will cause serious performance degradation. Furthermore, rollback should be performed if the updates result in an invalid document, because the updated document is usually validated after the update operation executed. In this paper, we propose an immediate and partial validation mechanism for solving these two problems, i.e the validity of an update operation is checked immediately before the actual update is applied to the database whether it causes invalidity, and validation is performed only on the updated parts of the XML document in the database. Consequently, XML database systems can maintain valid XML documents at any time. We already proposed an immediate and partial validation mechanism based on DTD[6], and we extend the mechanism based on XML Schema in this paper.
This work was partially supported by Brain Korea (BK) 21 and Software Research Center (SOREC) in Chungnam National University, Korea
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Tatarinov, I., Ives, Z.G., Halevy, A.Y., Weld, D.S.: Updating XML. In: Proceedings of ACM SIGMOD Conference, pp. 413–424 (2001)
Robie, J., Lehti, R.: Updates in XQuery. In: Proceedings of XML Conference (2001)
Software AG. QuiP: a prototype of XQuery, http://www.softwareag.com/developer/quip/default.htm
Chen, Y.B., Ling, T.W., Lee, M.L.: Designing Valid XML Views. In: Proceedings of the 21st International Conference on Conceptual Modeling, pp. 463–478. Springer, Heidelberg (2002)
Papakonstantinou, Y., Vianu, V.: Incremental Validation of XML Documents. In: Proceedings of the 9th International Conference on Database Theory, pp. 47–63. Springer, Heidelberg (2003)
Kim, S.-K., Lee, M.-C., Lee, K.-C.: Immediate and Partial Validation Mechanism for the Conflict Resolution of Update Operations in XML Databases. In: Proceedings of the 3rd Advances in Web-Age Information Management, pp. 387–396. Springer, Heidelberg (2002)
Aho, A.V., Sethi, R., Ullman, J.D.: Compilers Principles, Techniques and Tools. Addison-Wesley, Reading (1986)
Neven, F.: Automata theory for XML researchers. ACM SIGMOD Record 31(3), 39–46 (2002)
Kilpelainen, P., Wood, D.: SGML and XML Document Grammars and Exceptions. Information and Computation 169, 230–252 (2001)
Bruggemann-Klein, A.: Regular expressions into finite automata. Theoretical Computer Science 120, 197–213 (1993)
Sager, T.J.: On the use of extended grammars. In: Proceedings of the 20th annual conference on Southeast regional conference, pp. 246–252 (1982)
Papakonstantinou, Y., Vianu, V.: DTD inference for views of XML data. In: Proceedings of 20th Symposium on Principles of Database Systems (PODS 2001), pp. 35–46. ACM Press, New York (2001)
Berry, G., Sethi, R.: From regular expressions to deterministic automata. Theoretical Computer Science 48, 117–126 (1986)
Thompson, K.: Regular expression search algorithm. Communications of the ACM 11, 419–422 (1968)
Glushkov, V.M.: The abstract theory of automata. Russian Mathematical Surveys 16, 1–53 (1961)
Ling, T.W., Lee, M.L., Dobbie, G.: Application of ORA-SS: An Object-Relationship- Attribute Model for Semi-Structured Data. In: Proceedings of the 3rd International Conference on Information Integration and Web-based Applications & Services, pp. 17–28 (2001)
Ghezzi, C., Mandrioli, D.: Augmenting parsers to support incrementality. Journal of the Association for Comupting Machinery 27(3), 564–579 (1980)
Wagner, T., Graham, S.: Efficient and flexible incremental parsing. ACM Transactions on Programming Languages and Systems 20(2), 980–1013 (1998)
Larcheveque, J.-M.: Optimal Incremental Parsing. ACM Transactions on Programming Languages and Systems 17(1), 1–15 (1995)
Murching, A., Prasant, Y., Srikant, Y.: Incremental recursive descent parsing. Computer Languages 15(4) (1990)
Li, W.: A simple and efficient incremental LL(1) parsing. In: 22nd Seminar on Current Trends in Theory and Practice of Informatics, pp. 399–404 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kim, SK., Lee, M., Lee, KC. (2003). Validation of XML Document Updates Based on XML Schema in XML Databases. In: Mařík, V., Retschitzegger, W., Štěpánková, O. (eds) Database and Expert Systems Applications. DEXA 2003. Lecture Notes in Computer Science, vol 2736. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45227-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-45227-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40806-2
Online ISBN: 978-3-540-45227-0
eBook Packages: Springer Book Archive