Decidable classes of documents for XPath

被引：0
|
作者：
Bárány, Vince [1 ,2 ]
Bojańczyk, Mikolaj [2 ]
Figueira, Diego [2 ,3 ]
Parys, Pawel [2 ]
机构：
[1] TU Darmstadt, Darmstadt, Germany
[2] University of Warsaw, Warsaw, Poland
[3] University of Edinburgh, Edinburgh, United Kingdom
来源：
Leibniz International Proceedings in Informatics, LIPIcs | 2012年 / 18卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
XML
引用
收藏
页码：99 / 111
相关论文
共 50 条
  • [21] DECIDABLE CLASSES OF NUMBER-THEORETIC SENTENCES
    HEATH, IJ
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1969, 15 (05): : 411 - &
  • [22] Extending decidable clause classes via constraints
    Pichler, R
    AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 206 - 220
  • [23] SXPath - Extending XPath towards Spatial Querying on Web Documents
    Oro, Ermelinda
    Ruffolo, Massimo
    Staab, Steffen
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2010, 4 (02): : 129 - 140
  • [24] A methodology for coupling fragments of XPath with structural indexes for XML documents
    Fletcher, George H. L.
    Van Gucht, Dirk
    Wu, Yuqing
    Gyssens, Marc
    Brenes, Sofia
    Paredaens, Jan
    DATABASE PROGRAMMING LANGUAGES, 2007, 4797 : 48 - +
  • [25] A methodology for coupling fragments of XPath with structural indexes for XML documents
    Fletcher, George H. L.
    Van Gucht, Dirk
    Wu, Yuqing
    Gyssens, Marc
    Brenes, Sofia
    Paredaens, Jan
    INFORMATION SYSTEMS, 2009, 34 (07) : 657 - 670
  • [26] Indexing XML documents for XPath query processing in external memory
    Chen, Qun
    Lim, Andrew
    Ong, Kian Win
    Tang, Jiqing
    DATA & KNOWLEDGE ENGINEERING, 2006, 59 (03) : 681 - 699
  • [27] Some decidable classes of formulas of pure hybrid logic
    Norgela, S.
    Salaviejiene, A.
    LITHUANIAN MATHEMATICAL JOURNAL, 2007, 47 (04) : 462 - 469
  • [28] Decidable classes of the verification problem in a timed predicate logic
    Beauquier, D
    Slissenko, A
    FUNDAMENTALS OF COMPUTATION THEORY, 1999, 1684 : 100 - 111
  • [29] DECIDABLE CLASSES OF FLOW-CHARTS OVER MEMORY
    BUY, DB
    ZUBENKO, VV
    DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1982, (07): : 64 - 66
  • [30] Some decidable classes of formulas of pure hybrid logic
    S. Norgėla
    A. Šalaviejienė
    Lithuanian Mathematical Journal, 2007, 47 : 462 - 469
12345