Complete axiomatizations for XPath fragments |
| |
| Authors: | Balder ten Cate Tadeusz Litak Maarten Marx |
| |
| Institution: | 1. INRIA, ENS de Cachan, 61, avenue du President Wilson, 94235 Cachan Cedex, France;2. Department of Computer Science and Information Systems, Birkbeck College, University of London, Malet Street, Bloomsbury, London, WC1E 7HX, UK;3. Informatics Institute, University of Amsterdam, Kruislaan 403, 1098 SJ, Amsterdam, The Netherlands |
| |
| Abstract: | We provide complete axiomatizations for several fragments of Core XPath, the navigational core of XPath 1.0 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. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
