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
基金
英国工程与自然科学研究理事会;
关键词
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