XML with Incomplete Information: Models, Properties, and Query Answering

被引:4
作者
Barcelo, Pablo [1 ]
Libkin, Leonid [1 ]
Poggi, Antonella [1 ]
Sirangelo, Cristina [1 ]
机构
[1] Univ Chile, Dept Comp Sci, Santiago, Chile
来源
PODS'09: PROCEEDINGS OF THE TWENTY-EIGHTH ACM SIGMOD-SIGACT-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS | 2009年
基金
英国工程与自然科学研究理事会;
关键词
XML; incomplete information; query answering; certain answers; consistency; membership; DATABASES;
D O I
10.1145/1559795.1559832
中图分类号
TP [自动化技术、计算机技术];
学科分类号
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.
引用
收藏
页码:237 / 246
页数:10
相关论文
共 28 条
  • [1] ABITEBOUL S, PODS 1998, P254
  • [2] Abiteboul S., 1995, Foundations of databases, V8
  • [3] Representing and querying XML with incomplete information
    Abiteboul, Serge
    Segoufin, Luc
    Vianu, Victor
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 2006, 31 (01): : 208 - 254
  • [4] [Anonymous], 1991, Theor. Comput. Sci
  • [5] ARENAS M, 2008, J ACM, V55
  • [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] BENEDIKT M, 2008, J ACM, V55
  • [8] BJORKLUND H, OPTIMIZING CONJUNCTI, P132
  • [9] CALI A, DECIDABILITY COMPLEX, P260
  • [10] Representing and reasoning on XML documents: A description logic approach
    Calvanese, D
    De Giacomo, G
    Lenzerini, M
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (03) : 295 - 318