Consistency checking and querying in probabilistic databases under integrity constraints

被引:20
作者
Flesca, Sergio [1 ]
Furfaro, Filippo [1 ]
Parisi, Francesco [1 ]
机构
[1] Univ Calabria, DIMES, Arcavacata Di Rende, CS, Italy
关键词
Probabilistic databases; Integrity constraints; Consistency checking; UNCERTAINTY; LOGICS;
D O I
10.1016/j.jcss.2014.04.026
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We address the issue of incorporating a particular yet expressive form of integrity constraints (namely, denial constraints) into probabilistic databases. To this aim, we move away from the common way of giving semantics to probabilistic databases, which relies on considering a unique interpretation of the data, and address two fundamental problems: consistency checking and query evaluation. The former consists in verifying whether there is an interpretation which conforms to both the marginal probabilities of the tuples and the integrity constraints. The latter is the problem of answering queries under a "cautious" paradigm, taking into account all interpretations of the data in accordance with the constraints. In this setting, we investigate the complexity of the above-mentioned problems, and identify several tractable cases of practical relevance. (C) 2014 Elsevier Inc. All rights reserved.
引用
收藏
页码:1448 / 1489
页数:42
相关论文
共 56 条
[1]  
Agrawal P., 2010, P 4 INT VLDB WORKSH, P99
[2]   Easy cases of probabilistic satisfiability [J].
Andersen, KA ;
Pretolani, D .
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2001, 33 (01) :69-91
[3]  
[Anonymous], 2007, P 26 ACM SIGACT SIGM, DOI DOI 10.1145/1265530.1265571
[4]  
[Anonymous], 2006, P ICDE C
[5]  
[Anonymous], 2001, ACM Transactions on Computational Logic, DOI DOI 10.1145/377978.377983
[6]  
[Anonymous], 1998, COMBINATORIAL OPTIMI
[7]   Scalar aggregation in inconsistent databases [J].
Arenas, M ;
Bertossi, L ;
Chomicki, J ;
He, X ;
Raghavan, V ;
Spinrad, J .
THEORETICAL COMPUTER SCIENCE, 2003, 296 (03) :405-434
[8]  
Benjelloun Omar., 2006, VLDB
[9]  
Bertossi Leopoldo E., 2011, SYNTHESIS LECT DATA
[10]  
Boole G., 1854, An investigation of the laws of thought: on which are founded the mathematical theories of logic and probabilities