XPath-logic and XPathLog: A logic-programming style XML data manipulation language
সংরক্ষণ করুন:
| প্রকাশিত: | Theory and Practice of Logic Programming vol. 4, no. 3 (May 2004), p. 239-287 |
|---|---|
| প্রধান লেখক: | |
| প্রকাশিত: |
Cambridge University Press
|
| অনলাইন ব্যবহার করুন: | Citation/Abstract Full Text - PDF |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| সার সংক্ষেপ: | 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. [PUBLICATION ABSTRACT] |
|---|---|
| আইএসএসএন: | 1471-0684 1475-3081 |
| সম্পদ: | Advanced Technologies & Aerospace Database |