The Prolog not-predicate and negation as failure rule
New Generation Computing
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
IEEE Transactions on Knowledge and Data Engineering
Towards Declarative XML Querying
WISE '02 Proceedings of the 3rd International Conference on Web Information Systems Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Inheritance Conflicts in Object-Oriented Systems
DDEXA '93 Proceedings of the 4th International Conference on Database and Expert Systems Applications
The ROL deductive object base language
DEXA '96 Proceedings of the 7th International Workshop on Database and Expert Systems Applications
Fuzzy Querying in Intelligent Information Systems
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Anti-patterns for rule-based languages
Journal of Symbolic Computation
Hi-index | 0.00 |
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.