XDO2: A Deductive Object-Oriented Query Language for XML

In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, an XML query language XTree was proposed. Queries written in XTree are more compact, more convenient to write and easier to understand than queries written in XPath. In this paper, we introduce a novel XML query language XDO2 that extends XTree, with deductive features such as deductive rules and negation, and object-oriented features such as inheritance and methods. Our XDO2 language is more compact, and convenient to use than current query languages for XML such as XQuery and XPath because it is based on XTree, supports (recursive) deductive rules and the not-predicate. An XDO2 database example is given to motivate the usefulness of the language. The formal treatment of language syntax and semantics are presented in the appendices.

[1]  Won Kim,et al.  Introduction to Object-Oriented Databases , 1991, Computer systems.

[2]  Steven J. DeRose,et al.  XML Path Language (XPath) Version 1.0 , 1999 .

[3]  Sin Yeung Lee,et al.  DO2: Deductive Object-Oriented Database System , 1998, DEXA.

[4]  Mengchi Liu,et al.  A Logical Foundation for XML , 2002, CAiSE.

[5]  O. Deux,et al.  The Story of O2 , 1990, IEEE Trans. Knowl. Data Eng..

[6]  Mengchi Liu,et al.  The ROL deductive object base language , 1996, Proceedings of 7th International Conference and Workshop on Database and Expert Systems Applications: DEXA 96.

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

[8]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.

[9]  Michael Kifer,et al.  Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web , 2003, OTM.

[10]  Tok Wang Ling,et al.  Inheritance Conflicts in Object-Oriented Systems , 1993, DEXA.

[11]  Tok Wang Ling,et al.  XTree for Declarative XML Querying , 2004, DASFAA.

[12]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[13]  Tok Wang Ling,et al.  Towards declarative XML querying , 2002, Proceedings of the Third International Conference on Web Information Systems Engineering, 2002. WISE 2002..