Title :
XPathLog: a declarative, native XML data manipulation language
Author_Institution :
Inst. fur Inf., Freiburg Univ., Germany
Abstract :
XPathLog is a logic-based language for manipulating and integrating XML data. It extends the XPath query language with Prolog-style variables. Due to the close relationship with XPath, the semantics of rules is easy to grasp. 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. The formal semantics is defined wrt. a graph Herbrand structure which covers the XML tree data model. XPathLog has been implemented in LoPiX
Keywords :
PROLOG; computational linguistics; hypermedia markup languages; query languages; tree data structures; LoPiX; Prolog-style variables; XML tree data model; XPath filters; XPath query language; XPath syntax; XPathLog; declarative native XML data manipulation language; declarative specification; formal semantics; graph Herbrand structure; logic-based language; rule heads; semantics; Cities and towns; Data models; Database languages; Filters; Java; Navigation; Relational databases; Tree graphs; Writing; XML;
Conference_Titel :
Database Engineering and Applications, 2001 International Symposium on.
Conference_Location :
Grenoble
Print_ISBN :
0-7695-1140-6
DOI :
10.1109/IDEAS.2001.938078
