XML with Incomplete Information

被引:24
作者
Barcelo, Pablo [1 ]
Libkin, Leonid [2 ]
Poggi, Antonella [3 ]
Sirangelo, Cristina [4 ,5 ]
机构
[1] Univ Chile, Dept Comp Sci, Santiago, Chile
[2] Univ Edinburgh, Sch Informat, Edinburgh EH8 9AB, Midlothian, Scotland
[3] Univ Roma La Sapienza, Dipartimento Informat & Sistemist Antonio Ruberti, I-00185 Rome, Italy
[4] ENS Cachan, CNRS, LSV, F-94235 Cachan, France
[5] INRIA, F-94235 Cachan, France
基金
英国工程与自然科学研究理事会;
关键词
Theory; Languages; Algorithms; XML; incomplete information; query answering; certain answers; consistency; membership; CONJUNCTIVE QUERIES; COMPLEXITY; EXPRESSIVENESS;
D O I
10.1145/1870103.1870107
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We study models of incomplete information for XML, their computational properties, and query answering. While our approach is motivated by the study of relational incompleteness, incomplete information in XML documents may appear not only as null values but also as missing structural information. Our goal is to provide a classification of incomplete descriptions of XML documents, and separate features-or groups of features-that lead to hard computational problems from those that admit efficient algorithms. Our classification of incomplete information is based on the combination of null values with partial structural descriptions of documents. The key computational problems we consider are consistency of partial descriptions, representability of complete documents by incomplete ones, and query answering. We show how factors such as schema information, the presence of node ids, and missing structural information affect the complexity of these main computational problems, and find robust classes of incomplete XML descriptions that permit tractable query evaluation.
引用
收藏
页数:62
相关论文
共 38 条
  • [1] ON THE REPRESENTATION AND QUERYING OF SETS OF POSSIBLE WORLDS
    ABITEBOUL, S
    KANELLAKIS, P
    GRAHNE, G
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 78 (01) : 159 - 187
  • [2] Abiteboul S., 1998, Proceedings of the Seventeenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. PODS 1998, P254, DOI 10.1145/275487.275516
  • [3] Abiteboul S., 1995, Foundations of databases, V8
  • [4] Representing and querying XML with incomplete information
    Abiteboul, Serge
    Segoufin, Luc
    Vianu, Victor
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2006, 31 (01): : 208 - 254
  • [5] Normal form algorithms for extended context-free grammars
    Albert, J
    Giammarresi, D
    Wood, D
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 267 (1-2) : 35 - 47
  • [6] On the complexity of verifying consistency of XML specifications
    Arenas, Marcelo
    Fan, Wenfei
    Libkin, Leonid
    [J]. SIAM JOURNAL ON COMPUTING, 2008, 38 (03) : 841 - 880
  • [7] XML data exchange: Consistency and query answering
    Arenas, Marcelo
    Libkin, Leonid
    [J]. JOURNAL OF THE ACM, 2008, 55 (02)
  • [8] XML with Incomplete Information: Models, Properties, and Query Answering
    Barcelo, Pablo
    Libkin, Leonid
    Poggi, Antonella
    Sirangelo, Cristina
    [J]. PODS'09: PROCEEDINGS OF THE TWENTY-EIGHTH ACM SIGMOD-SIGACT-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS, 2009, : 237 - 246
  • [9] XPath satisfiability in the presence of DTDs
    Benedikt, Michael
    Fan, Wenfei
    Geerts, Floris
    [J]. JOURNAL OF THE ACM, 2008, 55 (02)
  • [10] Björklund H, 2008, LECT NOTES COMPUT SC, V5162, P132