Complete axiomatizations for XPath fragments
ten Cate, B. and Litak, T. and Marx, M. (2010) Complete axiomatizations for XPath fragments. Journal of Applied Logic 8 (2), pp. 153-172. ISSN 1570-8683.
Abstract
We provide complete axiomatizations for several fragments of Core XPath, the navigational core of XPath 10 introduced by Gottlob. Koch and Pichler A complete axiomatization for a given fragment is a set of equivalences from which every other valid equivalence is derivable; equivalences can be thought of as (undirected) rewrite rules. Specifically, we axiomatize single axis fragments of Core XPath as well as full Core XPath Our completeness proofs use results and techniques from modal logic.
Metadata
Item Type: | Article |
---|---|
Keyword(s) / Subject(s): | XML, XPath, query rewriting, axiomatization, modal logic |
School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Depositing User: | Administrator |
Date Deposited: | 14 Jun 2011 08:14 |
Last Modified: | 09 Aug 2023 12:30 |
URI: | https://eprints.bbk.ac.uk/id/eprint/3429 |
Statistics
Additional statistics are available via IRStats2.