Complete axiomatizations for XPath fragments

被引：7

作者：

ten Cate, Balder ^{[2
]}

Litak, Tadeusz ^{[1
]}

Marx, Maarten ^{[3
]}

机构：

[1] Univ London, Dept Comp Sci & Informat Syst, Birkbeck Coll, London WC1E 7HX, England

[2] ENS, INRIA, F-94235 Cachan, France

[3] Univ Amsterdam, Inst Informat, NL-1098 SJ Amsterdam, Netherlands

来源：

JOURNAL OF APPLIED LOGIC | 2010年 / 8卷 / 02期

基金：

英国工程与自然科学研究理事会;

关键词：

XML; XPath; Query rewriting; Axiomatization; Modal logic; NAVIGATIONAL XPATH; ALGEBRA;

D O I：

10.1016/j.jal.2009.09.002

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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 (C) 2009 Elsevier B V All rights reserved

引用

页码：153 / 172

页数：20

共 50 条

[1] Axiomatizations for downward XPath on data trees
Abriola, Sergio
Emilia Descotte, Maria
Fervari, Raul
Figueira, Santiago
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2017, 89 : 209 - 245
[2] COMPLETE AXIOMATIZATIONS OF FRAGMENTS OF MONADIC SECOND-ORDER LOGIC ON FINITE TREES
Gheerbrant, Amelie
ten Cate, Balder
[J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (04)
[3] Structural properties of XPath fragments
Benedikt, M
Fan, WF
Kuper, G
[J]. THEORETICAL COMPUTER SCIENCE, 2005, 336 (01) : 3 - 31
[4] Streamable Fragments of Forward XPath
Gauwin, Olivier
Niehren, Joachim
[J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2011, 6807 : 3 - +
[5] Union Rewritings for XPath fragments
Afrati, Foto
Damigos, Matthew
Gergatsoulis, Manolis
[J]. PROCEEDINGS OF THE 15TH INTERNATIONAL DATABASE ENGINEERING & APPLICATIONS SYMPOSIUM (IDEAS '11), 2011, : 43 - 51
[6] XPath fragments on XML in columns
Pokorny, Jaroslav
[J]. INTERNATIONAL JOURNAL OF WEB INFORMATION SYSTEMS, 2013, 9 (04) : 317 - 329
[7] Structural properties of XPath fragments
Benedikt, M
Fan, WF
Kuper, GM
[J]. DATABASE THEORY ICDT 2003, PROCEEDINGS, 2003, 2572 : 79 - 95
[8] Complete Axiomatizations for Quantum Actions
A. Baltag
S. Smets
[J]. International Journal of Theoretical Physics, 2005, 44 : 2267 - 2282
[9] Complete axiomatizations for quantum actions
Baltag, A.
Smets, S.
[J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2005, 44 (12) : 2267 - 2282
[10] Decidable XPath Fragments in the Real World
Baelde, David
Lick, Anthony
Schmitz, Sylvain
[J]. PROCEEDINGS OF THE 38TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS '19), 2019, : 285 - 302

← 1 2 3 4 5 →