XPathLog

XPath-logic and XPathLog: a logic-programming style XML data manipulation language. 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.


References in zbMATH (referenced in 7 articles , 1 standard article )

Showing results 1 to 7 of 7.
Sorted by year (citations)

  1. Almendros-Jiménez, J. M.; Caballero, R.; García-Ruiz, Y.; Sáenz-Pérez, F.: XPath query processing in a functional-logic language (2012) ioport
  2. Baggi, M.; Ballis, D.: Phil: a lazy implementation of a language for approximate filtering of XML documents (2008) ioport
  3. May, Wolfgang; Behrends, Erik; Fritzen, Oliver: Integrating and querying distributed XML data via XLink (2008) ioport
  4. May, Wolfgang: Logic-based XML data integration: a semi-materializing approach (2005) ioport
  5. Wang, Guo-Ren; Zhang, Xiao-Lin: Declarative XML update language based on a higher data model (2005) ioport
  6. May, Wolfgang: XPath-logic and XPathLog: a logic-programming style XML data manipulation language (2004)
  7. May, Wolfgang: Xpath-logic and xpathlog: A logic-programming style XML data manipulation language (2003) ioport