Validating key constraints over XML document using XPath and structure checking

Future Generation Computer Systems

Volumn 21, Issue 4, 2005, Pages 583-595

  Liu, Yunfeng ^a   Yang, Dongqing ^a   Tang, Shiwei ^a   Wang, Tengjiao ^a,b   Gao, Jun ^a  

^a PEKING UNIVERSITY   (China)

^b Institute of Software   (China)

Author keywords

Incremental validation; Key constraint; Schema; XML; XPath

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; DATA REDUCTION; HIERARCHICAL SYSTEMS; STATISTICAL METHODS; STORAGE ALLOCATION (COMPUTER); TREES (MATHEMATICS);

INCREMENTAL VALIDATION; KEY CONSTRAINTS; XML SCHEMA; XPATH;

XML;

EID: 14544268482     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.future.2004.12.001     Document Type: Article

References (27)

1. S. Abiteboul, P. Buneman, and D. Suciu Data on the Web: From Relations to Semistructured Data and XML 1999 Morgan Kaufmann
2. T. Bray, J. Paoli, C.M. Sperberg-McQueen Extensible Markup Language (XML) 1.0. World Wide Web Consortium (W3C), February 1998. http://www.w3.org/TR/REC- xml.
3. M. Benedikt, C.Y. Chan, W. Fan, J. Freire, and R. Rastogi Capturing both types and constraints in data integration Proceedings of the ACM SIGMOD International Conference on Management of data San Diego, California, USA 2003
4. S. Davidson, W. Fan, C. Hara, J. Qin, Propagating XML constraints to relations, in: Proceedings of the 19th International Conference on Data Engineering (ICDE'03).
5. D. Lee, and W.W. Chu Net & Cot: translating relational schemas to XML schemas using semantic constrains Proceedings of the Eleventh International Conference on Information and Knowledge Management (CIKM) McLean, Virginia 2002 282 291
6. D. Lee, and W.W. Chu Constraints-preseving transformation from XML document type definition to relational schema Proceedings of the 19th International Conference on Conceptual Modeling 2000 Springer-Verlag Salt Lake City, UT 323 338
7. W. Fan, and J. Siméon Integrity constraints for XML Proceedings of the 2000 ACM Symposium on Principles of Database Systems (PODS) Dallas, TX May 2000 23 34
8. P. Buneman, W. Fan, J. Simeon, and S. Weinstein Constraints for semi-structured data and XML SIGMOD Record 30 1 2001
9. P. Buneman, S. Davidson, W. Fan, C. Hara, and W. Tan Keys for XML Proceedings of the 2001 Proceedings of the Tenth International Conference on World Wide Web Hong Kong, China 2001 201 210
10. P. Buneman, S. Davidson, W. Fan, C. Hara, and W. Tan Reasoning about keys for XML Proceedings of the 8th International Workshop on Data Bases and Programming Languages (DBPL'01) Rome, Italy 2001
11. W. Fan, and L. Libkin On XML integrity constraints in the presence of DTDs Proceedings of the Twentieth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2001) 2001 114 125
12. H. Thompson, D. Beech, M. Maloney, N. Mendelsohn, XMLSchema Part 1: Strucures. W3C Working Draft, April 2000. http://www.w3.org/TR/xmlschema-1.
13. A. Gupta, Y. Sagiv, J.D. Ullman, and W. Jennifer Widom constraint checking with partial information Proceedings of ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 1994) 1994
14. S. Abiteboul, R. Hull, and V. Vianu Foundations of Databases 1995 Addison-Wesley
15. Y. Chen, S.B. Davidson, Y. Zheng, XKvalidator: a constraint validator for XML, in: Proceedings of ACM Conference on Information and Knowledge (CIKM 2002), pp. 446-452.
16. J. Clark, S. DeRose, XML Path Language (XPath), W3C Working Draft, November 1999. http://www.w3.org/TR/xpath.
17. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu Typechecking XML views of relational database Lecture Notes Comput. Sci. 2001 421 430
18. N. Alon, T. Milo, F. Neven, D. Suciu, and V. Vianu XML with data values: typechecking revisited Proceedings of the Twentieth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2001) 2001 138 149
19. D. Suciu The XML typechecking problem SIGMOD Record 31 1 2002 89 96
20. L. Segoufin, and V. Victor Validating streaming XML documents Proceedings of the Twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2002) 2002 53 64
21. M.A. Abrao, B. Bouchou, M. Halfeld Ferrari Alves, D. Laurent, M. Musicante, Incremental constraint checking for XML documents, Database and XML Technologies (XSym 2004), LCNS 3186/2004, 2004, pp. 112-127.
22. Microsoft XML Parser 4.0(MSXML). http://msdn.microsoft.com.
23. XML Schema Validator. http://www.ltg.ed.ac.uk/ht/xsv-status.htm l.
24. XML Schema Quality Checker. http://www.alphaworks.ibm.com/tech/xmlsqc.
25. B. Bouchou, M. Halfeld Ferrari Alves, M.A. Musicante, 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.
26. DOM Level 3 Core Specification, September 2001. http://www.w3.org/TR/ 2001/WD-DOM-Level-3-Core-20010913/.
27. I. Tatarinov, S. Viglas, K.S. Beyer, J. Shanmugasundaram, F.J. Shekita, and C. Zhang Storing and querying ordered XML using a relational database system Proceedings of the ACM SIGMOD International Conference on Management of data (SIGMOD 2002) Madison, Wisconsin 2002 204 215