Loading...
Please wait, while we are loading the content...
Similar Documents
A logic-based approach to xml data integration.
| Content Provider | CiteSeerX |
|---|---|
| Author | May, Wolfgang |
| Abstract | In this work, a logic-based framework for XML data integration is proposed. XPath-Logic extends the XPath language with variable bindings and embeds it into first-order logic, interpreted over an edge-labeled graph-based data model. XPathLog is then the Horn fragment of XPath-Logic, providing a Datalog-style, rule-based language for manipulating and integrating XML data. 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 speci cations of elements and properties which should be added to the database. Due to the close relationship with XPath, the semantics of rules is easy to grasp. In addition to the logic-based semantics of XPath-Logic, we give an algebraic semantics for evaluating XPathLog queries based on answer-sets. The formal semantics is defined wrt. a graph-based model which covers the XML data model, tailored to the requirements of XML data integration. It is not based on the notion of XML trees, but represents an XML-style (i.e., based on elements and attributes) database which simultaneously |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Rstorder Logic Variable Binding Xml Data Rule-based Language Logic-based Approach Speci Cation Close Relationship Formal Semantics Graph-based Model De Ned Wrt Algebraic Semantics Xml Data Integration Horn Fragment Ofxpath-logic Xml Tree Declarative Speci Cation Xpath Lters Edge-labeled Graph-based Data Model Logic-based Framework Xpath Language Xml Data Model Xpathlog Query Rule Head Logic-based Semantics Xpath Syntax |
| Content Type | Text |
