Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
The TSIMMIS Approach to Mediation: Data Models and Languages
Journal of Intelligent Information Systems - Special issue: next generation information technologies and systems
A query language for a Web-site management system
ACM SIGMOD Record
Your mediators need data conversion!
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Managing semistructured data with florid: a deductive object-oriented perspective
Information Systems - Special issue on semistructured data
WWW '99 Proceedings of the eighth international conference on World Wide Web
SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
From semistructured data to XML
Markup Languages
LoPiX: A System for XML Data Integration and Manipulation
Proceedings of the 27th International Conference on Very Large Data Bases
XPathLog: A Declarative, Native XML Data Manipulation Language
IDEAS '01 Proceedings of the International Database Engineering & Applications Symposium
Ordering and Path Constraints over Semistructured Data
Journal of Intelligent Information Systems
XPath-logic and XPathLog: A logic-programming style XML data manipulation language
Theory and Practice of Logic Programming
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
Hi-index | 0.00 |
We present XPathLog as a Datalog-style extension to XPath. The querying part extends XPath with binding variables to XML nodes that are "traversed" when evaluating an XPath expression. Data manipulation is done in a rule-based way. In contrast to other approaches, the XPath-based syntax and semantics is also used for a declarative specification how the database should be updated: XPath filters are interpreted as specifications of elements and properties that should be added to the database. In this paper, we focus on the theoretical aspects of XPathLog. XPathLog has been implemented in the LoPiX system [LoP01].