Inconsistency-Tolerant Integrity Checking Based on Inconsistency Metrics

被引:0
作者
Decker, Hendrik [1 ]
机构
[1] Inst Tecnol Informat, Valencia, Spain
来源
KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II: 15TH INTERNATIONAL CONFERENCE, KES 2011 | 2011年 / 6882卷
关键词
CONSTRAINTS;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
A large diversity of different approaches to integrity checking has been proposed in the literature. We present a generic approach to integrity checking that is based on inconsistency metrics. It subsumes many known approaches to integrity checking by a uniform abstraction. As opposed to traditional approaches to integrity checking, it permits the tolerance of extant (i.e., surviving) inconsistency. Inconsistency metrics have been widely studied in the literature, but, so far, their applicability to integrity checking has largely remained unaddressed.
引用
收藏
页码:548 / 558
页数:11
相关论文
共 20 条
[1]  
Afrati F. N., 2009, P 12 INT C DAT THEOR, P31
[2]  
Baltopoulos I., 2010, MAINTAINING DATABASE
[3]  
Benedikt M, 2004, LECT NOTES COMPUT SC, V3116, P27
[4]  
Christiansen H, 2006, FUND INFORM, V71, P371
[5]  
Decker H., 2008, P INT C PRINC PRACT, P195
[6]  
Decker H., 2011, P 11 QSIC IN PRESS
[7]  
Decker H., 2011, LNCS IN PRESS
[8]   Inconsistency-Tolerant Integrity Checking [J].
Decker, Hendrik ;
Martinenghi, Davide .
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2011, 23 (02) :218-234
[9]  
Decker H, 2010, LECT NOTES COMPUT SC, V6427, P983, DOI 10.1007/978-3-642-16949-6_23
[10]  
Decker H, 2009, LECT NOTES COMPUT SC, V5833, P212, DOI 10.1007/978-3-642-04947-7_26