As a simple XML query language but with enough expressive power, XPath has become very popular. To expedite evaluation of XPath queries, we consider the problem of rewriting XPath queries using materialized XPath views. This problem is very important and arises not only from query optimization in server side but also from semantic caching in client side. We consider the problem of deciding whet...

In this thesis, we consider the XML query language XPath, along with XML documents whose integrity constraints are presented in the form of document type definitions (DTDs). In particular, we study the problems of XPath satisfiability and XPath containment in the presence of DTDs. The motivation for studying XPath is that it is the main language for navigating in and extracting information from...

XPath is the defacto navigation language for XML documents conforming to DTD and it is important to have efficient evaluation and checking techniques available for XPath. Traversal strategies, a component of Adaptive Programming, are a well studied navigation language for objects conforming to class graphs and an efficient evaluation technique has been developed in the previous millenium. Trave...

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 ...

In this paper we introduce sound and strongly complete axiomatizations for XPath with data constraints extended hybrid operators. First, present HXPath=, a multi-modal version of data, nominals the operator @. Then, an axiomatic system prove it is respect to class abstract models, i.e., models in which values are abstracted as equivalence relations. We general completeness result similar one pr...

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, X...