Querying unranked trees with stepwise tree automata

被引：0
|
作者：
Carme, J [1 ]
Niehren, J [1 ]
Tommasi, M [1 ]
机构：
[1] INRIA Futurs, Mostrare Project, Lille, France
来源：
REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS | 2004年 / 3091卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The problem of selecting nodes in unranked trees is the most basic querying problem for XML. We propose stepwise tree automata for querying unranked trees. Stepwise tree automata can express the same monadic queries as monadic Datalog and monadic second-order logic. We prove this result by reduction to the ranked case, via a new systematic correspondence that relates unranked and ranked queries.
引用
收藏
页码：105 / 118
页数：14
相关论文
共 50 条
  • [1] Minimizing tree automata for unranked trees
    Martens, W
    Niehren, J
    [J]. DATABASE PROGRAMMING LANGUAGES, 2005, 3774 : 232 - +
  • [2] On the minimization of XML Schemas and tree automata for unranked trees
    Martens, Wim
    Niehren, Joachim
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2007, 73 (04) : 550 - 583
  • [3] Deterministic automata on unranked trees
    Cristau, J
    Löding, C
    Thomas, W
    [J]. FUNDAMENTALS OF COMPUTATIONAL THEORY, PROCEEDINGS, 2005, 3623 : 68 - 79
  • [4] Automata and logics for unranked and unordered trees
    Boneva, I
    Talbot, JM
    [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 500 - 515
  • [5] Combination of context-free grammars and tree automata for unranked and ranked trees
    Fujiyoshi, Akio
    [J]. IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, 2008, 5148 : 283 - 285
  • [6] The Supports of Weighted Unranked Tree Automata
    Droste, Manfred
    Heusel, Doreen
    [J]. FUNDAMENTA INFORMATICAE, 2015, 136 (1-2) : 37 - 58
  • [7] Weighted Logics for Unranked Tree Automata
    Manfred Droste
    Heiko Vogler
    [J]. Theory of Computing Systems, 2011, 48 : 23 - 47
  • [8] Weighted Logics for Unranked Tree Automata
    Droste, Manfred
    Vogler, Heiko
    [J]. THEORY OF COMPUTING SYSTEMS, 2011, 48 (01) : 23 - 47
  • [9] A Nivat Theorem for Quantitative Automata on Unranked Trees
    Droste, Manfred
    Goetze, Doreen
    [J]. MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10460 : 22 - 35
  • [10] Bisimulation Minimisation of Weighted Automata on Unranked Trees
    Hogberg, Johanna
    Maletti, Andreas
    Vogler, Heiko
    [J]. FUNDAMENTA INFORMATICAE, 2009, 92 (1-2) : 103 - 130
12345