Abstract
We propose an approach that can effectively validate key constrains over XML document by extracting key value and checking structural constraints. First we propose an XPath-based algorithm that can extract key values from the XML document and generate the corresponding key value document. Then we present how a key value document and its DTD can be designed to check whether predefined key constraints are satisfied. Last we draw an interesting conclusion that as long as XML keys can be expressed in XPath, the validation problem can be done by the XPath and the structural constraints checking.
This work is supported by the NKBRSF of China (973) under grant No.G1999032705, the National ’863’ High-Tech Program of China under grant No. 2002AA4Z3440.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Benedikt, M., Chan, C.Y., Fan, W., Freire, J., Rastogi, R.: Capturing both Types and Constraints in Data Integration. In: Proceedings of the ACM SIGMOD International Conference on Management of data, San Diego, California, USA (2003)
Davidson, S.: Propagating XML Constraints to Relations. In: The Proceedings of the 19th International Conference on Data Engineering, ICDE 2003 (2003)
Fan, W., Siméon, J.: Integrity Constraints for XML. In: Proceedings of the 2000 ACM Symposium on Principles of Database Systems (PODS), Dallas, TX, May 2000, pp. 23–34 (2000)
Buneman, P., Fan, W., Simeon, J., Weinstein, S.: Constraints for Semi-structured Data and XML. SIGMOD Record 30(1) (2001)
Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Keys for XML. In: Proceedings of the 2001 Proceedings of the tenth International Conference on World Wide Web, Hong Kong, China, May 2001, pp. 201–210 (2001)
Buneman, P., Davidson, S., Fan, W., Hara, C., Tan, W.: Reasoning about Keys for XML. In: Proceedings of the 8th International Workshop on Data Bases and Programming Languages (DBPL 2001), Rome, Italy (2001)
Thompson, H., Beech, D., Maloney, M., Mendelsohn, N.: XMLSchema Part 1: Strucures. W3C Working Draft (April 2000), http://www.w3.org/TR/xmlschema-1
Chen, Y., Davidson, S.B., Zheng, Y.: XKvalidator: A Constraint Validator for XML. In: Proceedings of ACM Conference on Information and Knowledge (CIKM 2002), pp. 446–452 (2002)
Arenas, M., Fan, W., Libkin, L.: On Verifying Consistency of XML Specifications. In: Proceedings of the Twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2002), pp. 259–270 (2002)
Microsoft XML Parser 4.0(MSXML), http://msdn.microsoft.com
XML Schema Validator, http://www.ltg.ed.ac.uk/ht/xsv-status.html
XML Schema Quality Checker (Feburary 2002), http://www.alphaworks.ibm.com/tech/xmlsqc
Bouchou, B., Alves, M.H.F., Musicante, M.A.: Tree Automata to Verify Key Constraints. In: Proceedings of Sixth International Workshop on the Web and Databases (WebDB’2003), San Diego, CA, USA, June 2003, pp. 184–190 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, Y., Yang, D., Tang, S., Wang, T., Gao, J. (2004). Extracting Key Value and Checking Structural Constraints for Validating XML Key Constraints. In: Li, Q., Wang, G., Feng, L. (eds) Advances in Web-Age Information Management. WAIM 2004. Lecture Notes in Computer Science, vol 3129. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27772-9_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-27772-9_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22418-1
Online ISBN: 978-3-540-27772-9
eBook Packages: Springer Book Archive