Semantic validation for XML updates

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.

[1]  Tok Wang Ling,et al.  Semistructured Database Design , 2004 .

[2]  Wenfei Fan,et al.  Propagating XML constraints to relations , 2007, J. Comput. Syst. Sci..

[3]  Denilson Barbosa,et al.  Efficient incremental validation of XML documents , 2004, Proceedings. 20th International Conference on Data Engineering.

[4]  Abraham Heifets,et al.  XML screamer: an integrated approach to high performance XML parsing, validation and deserialization , 2006, WWW '06.

[5]  Roy Goldman,et al.  DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases , 1997, VLDB.

[6]  Wenfei Fan,et al.  Keys for XML , 2001, WWW '01.

[7]  Jonathan Robie,et al.  Document Object Model (DOM) Level 2 Specification , 1998 .

[8]  Daniela Rosu,et al.  On validation of XML streams using finite state machines , 2004, WebDB '04.

[9]  Wenfei Fan,et al.  Integrity constraints for XML , 2000, PODS.

[10]  Wenfei Fan,et al.  On XML integrity constraints in the presence of DTDs , 2001, JACM.

[11]  Béatrice Bouchou-Markhoff,et al.  Extending Tree Automata to Model XML Validation Under Element and Attribute Constraints , 2003, ICEIS.

[12]  Jan Mendling,et al.  EPC markup language (EPML): an XML-based interchange format for event-driven process chains (EPC) , 2006, Inf. Syst. E Bus. Manag..

[13]  Roy Goldman,et al.  Lore: a database management system for semistructured data , 1997, SGMD.

[14]  Christian Nentwich,et al.  CLiX - A Validation Rule Language for XML , 2005, Rule Languages for Interoperability.

[15]  Raymond Reiter,et al.  On Integrity Constraints , 1988, TARK.

[16]  Alon Y. Halevy,et al.  Updating XML , 2001, SIGMOD '01.

[17]  Yannis Papakonstantinou,et al.  Incremental Validation of XML Documents , 2003, ICDT.

[18]  Tok Wang Ling,et al.  Semistructured Database Design (Web Information Systems Engineering and Internet Technologie) , 2004 .

[19]  Béatrice Bouchou-Markhoff,et al.  XML Document Correction: Incremental Approach Activated by Schema Validation , 2006, 2006 10th International Database Engineering and Applications Symposium (IDEAS'06).

[20]  April Kwong,et al.  Structural Constraints for XML , 2002 .

[21]  FanWenfei,et al.  On XML integrity constraints in the presence of DTDs , 2002 .