Back to the homepage of the Institut für Informatik der Universität Freiburg

XPath-Logic, XPathLog, and LoPiX: a Logical Approach to XML and XML Data Integration

The XPathLog/LoPiX project is the continuation and migration of the F-Logic/Florid project to XML. Due to many similarities between the F-Logic and XPath languages, F-Logic is a natural candidate for a migration to XML/XPath: The XPathLog language is a crossbreed between XPath and F-Logic, i.e., it extends XPath with variable bindings to an XML querying and data manipulation language. XPathLog assigns a declarative constructive semantics to XPath expressions for specifying database updates. The LoPiX system which implements XPathLog is based on the Florid system. The research on data integration is now continued with LoPiX. One of the main results - apart from the fact that XPathLog/LoPiX is the first implementation of updates in an XML database language, is that the DOM/XML Query Data Model is not suitable for updating and integrating XML data. Instead, XPathLog/LoPiX use the XTreeGraph data model which allows for representing multiple, overlapping XML trees in an internal database. Result trees are then defined as views over the XTreeGraph database.

In 2003, the project has been moved to Göttingen University -- click here.

All pages that have been available here, are now available at Göttingen, with the same relative adresses wrt.

http://dbis.informatik.uni-goettingen.de/lopix/