XPath-Logic and XPathLog: A Logic-Programming Style XML Data Manipulation Language
| dc.creator | May, Wolfgang | |
| dc.date | 2003-11-25 | |
| dc.date.accessioned | 2026-07-07T03:20:37Z | |
| dc.date.available | 2026-07-07T03:20:37Z | |
| dc.description | We define XPathLog as a Datalog-style extension of XPath. XPathLog provides a clear, declarative language for querying and manipulating XML whose perspectives are especially in XML data integration. In our characterization, the formal semantics is defined wrt. an edge-labeled graph-based model which covers the XML data model. We give a complete, logic-based characterization of XML data and the main language concept for XML, XPath. XPath-Logic extends the XPath language with variable bindings and embeds it into first-order logic. XPathLog is then the Horn fragment of XPath-Logic, providing a Datalog-style, rule-based language for querying and manipulating XML data. The model-theoretic semantics of XPath-Logic serves as the base of XPathLog as a logic-programming language, whereas also an equivalent answer-set semantics for evaluating XPathLog queries is given. In contrast to other approaches, the XPath syntax and semantics is also used for a declarative specification how the database should be updated: when used in rule heads, XPath filters are interpreted as specifications of elements and properties which should be added to the database. | |
| dc.identifier | https://arxiv.org/abs/cs/0311038 | |
| dc.identifier | http://arxiv.org/abs/cs/0311038 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/31890 | |
| dc.subject | Databases | |
| dc.subject | H.2; D.3 | |
| dc.title | XPath-Logic and XPathLog: A Logic-Programming Style XML Data Manipulation Language | |
| dc.type | text |