Semantic validation for XML updates

ABSTRACT

For data centric XML data, updates bring the problem of validation that the updated data must conform to both structural and semantic constraints according to XML schemas. Most existing XML validation works today are concentrated on structural constraints with respect to DTD and XML. Schema (XSD). However, because DTD/XSD schema is too limited to express complex data semantics, they cannot be used to validate semantic constraints in XML. Meanwhile, there are few works concentrated on how to validate semantic constraints. In this paper, we investigate ORA-SS [16], a rich semantic data model, for XML data. We derive a set of important semantic constraints with respect to the data semantics in ORA-SS model including nary relationship types (n≥2), relationship attributes, object IDs and ID references, and semantic dependencies, etc, which cannot be captured by DTD/XSD schema. Then, we discuss how to validate these semantic constraints in XML updates with the help of ORASS.

REFERENCES

• 1: Apparao, V. and Byrne, S. Document object model (DOM) level 1 specification. W3C Recommendation, 1998.
• 2: Andrey Balmin , Yannis Papakonstantinou , Victor Vianu, Incremental validation of XML documents, ACM Transactions on Database Systems (TODS), v.29 n.4, December 2004 [doi>10.1145/1042046.1042050]
• 3: Denilson Barbosa , Alberto O. Mendelzon , Leonid Libkin , Laurent Mignet , Marcelo Arenas, Efficient Incremental Validation of XML Documents, Proceedings of the 20th International Conference on Data Engineering, p.671, March 30-April 02, 2004
• 4: Bouchou, B., Alves, M. H. F., Laurent, D., and Duarte, D. Extending tree automata to model XML validation under element and attribute constraints. ICEIS (1), 2003
• 5: Beatrice Bouchou , Ahmed Cheriat , Myrian Halfeld Ferrari , Agata Savary, XML Document Correction: Incremental Approach Activated by Schema Validation, Proceedings of the 10th International Database Engineering and Applications Symposium, p.228-238, December 11-14, 2006 [doi>10.1109/IDEAS.2006.54]
• 6: Peter Buneman , Susan Davidson , Wenfei Fan , Carmem Hara , Wang-Chiew Tan, Keys for XML, Proceedings of the 10th international conference on World Wide Web, p.201-210, May 01-05, 2001, Hong Kong, Hong Kong [doi>10.1145/371920.371984]
• 7: Cristiana Chitic , Daniela Rosu, On validation of XML streams using finite state machines, Proceedings of the 7th International Workshop on the Web and Databases: colocated with ACM SIGMOD/PODS 2004, June 17-18, 2004, Paris, France [doi>10.1145/1017074.1017096]
• 8: Davidson, S., Fan, W., Hara, C. and Qin, J. Propagating XML Constraints to Relations The 19th International Conference on Data Engineering (ICDE), pp. 543--554, 2003.
• 9: Wenfei Fan , Floris Geerts , Frank Neven, Expressiveness and complexity of xml publishing transducers, Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 11-13, 2007, Beijing, China [doi>10.1145/1265530.1265542]
• 10: Wenfei Fan , Leonid Libkin, On XML integrity constraints in the presence of DTDs, Journal of the ACM (JACM), v.49 n.3, p.368-406, May 2002 [doi>10.1145/567112.567117]
• 11: Wenfei Fan , Jérôme Siméon, Integrity constraints for XML, Journal of Computer and System Sciences, v.66 n.1, p.254-291, 01 February 2003 [doi>10.1016/S0022-0000(02)00032-6]
• 12: Roy Goldman , Jennifer Widom, DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases, Proceedings of the 23rd International Conference on Very Large Data Bases, p.436-445, August 25-29, 1997
• 13: Jelliffe, R. The Schematron: An XML Validation Language using Patterns in Trees. www.ascc.net/xml/resource/schematron/
• 14: Margaret G. Kostoulas , Morris Matsa , Noah Mendelsohn , Eric Perkins , Abraham Heifets , Martha Mercaldi, XML screamer: an integrated approach to high performance XML parsing, validation and deserialization, Proceedings of the 15th international conference on World Wide Web, May 23-26, 2006, Edinburgh, Scotland [doi>10.1145/1135777.1135796]
• 15: Kwong, A. and Gertz, M. Structural Constraints for XML. University of California Technical Report CSE-2002-24, June, 2002
• 16: Tok Wang Ling, Semistructured Database Design (Web Information Systems Engineering and Internet Technologie), Springer-Verlag TELOS, Santa Clara, CA, 2004
• 17: Jason McHugh , Serge Abiteboul , Roy Goldman , Dallas Quass , Jennifer Widom, Lore: a database management system for semistructured data, ACM SIGMOD Record, v.26 n.3, p.54-66, Sept. 1997 [doi>10.1145/262762.262770]
• 18: Mendling, J. and Nüttgens, M. EPC markup language (EPML): an XML-based interchange format for event-driven process chains. Information Systems and E-Business Management, 2006, Springer.
• 19: Nentwich, C. CLiX - A Validation Rule Language for XML. http://www.w3.org/2004/12/rules-ws/paper/24/
• 20: Igor Tatarinov , Zachary G. Ives , Alon Y. Halevy , Daniel S. Weld, Updating XML, Proceedings of the 2001 ACM SIGMOD international conference on Management of data, p.413-424, May 21-24, 2001, Santa Barbara, California, United States
• 21: Extensible Markup Language (XML):http://www.w3.org/XML/
• 22: RELAX NG home page: http://relaxng.org/#introduction
• 23: XML Path Language (XPath): http://www.w3.org/TR/xpath
• 24: XML Schema: http://www.w3.org/XML/Schema
• 25: XQuery Update Facility: http://www.w3.org/TR/2006/WD-xqupdate-20060711/

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.7 Database Administration
          Subjects: Security, integrity, and protection

General Terms:
Management, Theory

Keywords:
XML, semantic constraints, validation