Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Persistence, Scalability, Transactions - Database Mechanisms for Mobile Applications, Workshop by the GIArbeitskreis "Mobile Datenbanken", April, 10-11th, 2003 in Karlsruhe. P-43, 122-138 (2003).

GI, Gesellschaft für Informatik, Bonn


Birgitta König-Ries (ed.), Michael Klein (ed.), Philipp Obreiter (ed.)

Copyright © GI, Gesellschaft für Informatik, Bonn


Checking xpath expressions for synchronization, access control and reuse of query results on mobile clients

Stefan Böttcher and Adelhard Türling


The evaluation of XPath expressions plays a central role in accessing XML documents and therefore may be used in XML database systems for different components. We demonstrate that different applications ranging from access control to transaction synchronization to the reuse of query results have very similar requirements to the evaluation of XPath expressions, which can be solved by the same two steps. Firstly, we compute from each XPath expression a regular expression of the selected node paths and right-shuffle predicate filters to the selected nodes. Secondly, we describe the treatment of predicate filters which may be used in XPath expressions for queries, access control, and synchronization, and present a fast predicate evaluator for these predicates. Finally, we introduce the concept of “fall-back decisions”, which allow us to use an incomplete but efficient theorem prover, which solves most cases in practice and guarantees correct fallback behavior for the other cases.

Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-372-5

Last changed 04.10.2013 18:00:44