Flexible Integrity Checking of Hard and Soft Constraints

被引：0

作者：

Decker, Hendrik

机构：

来源：

PROCEEDINGS OF THE 20TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATION | 2009年

关键词：

D O I：

10.1109/DEXA.2009.21

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Hard constraints must always hold. Violations of soft constraints may be tolerable. Inconsistency-tolerant integrity checking serves to flexibly check both hard and soft constraints in a uniform manner With an extended example for risk management, we illustrate that inconsistency-tolerant integrity checking methods are more efficient and more reliable for checking hard and soft constraints than traditional approaches.

引用

页码：437 / 441

页数：5

共 10 条

[1]

Arenas M., 1999, Proceedings of the Eighteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, P68, DOI 10.1145/303976.303983

[2] Semiring-based constraint satisfaction and optimization [J].

Bistarelli, S ;

Montanari, U ;

Rossi, F .

JOURNAL OF THE ACM, 1997, 44 (02) :201-236

[3]

Christiansen H, 2006, FUND INFORM, V71, P371

[4]

Decker H., 2008, P INT C PRINC PRACT, P195

[5] A relaxed approach to integrity and inconsistency in databases [J].

Decker, Hendrik ;

Martinenghi, Davide .

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 :287-301

[6] Avenues to flexible data integrity checking [J].

Decker, Hendrik ;

Martinenghi, Davide .

SEVENTEENTH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2006, :425-+

[7]

Demolombe R, 1997, LECT NOTES ARTIF INT, V1244, P614, DOI 10.1007/BFb0035653

[8]

Gupta A., 1994, Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. PODS 1994, P45, DOI 10.1145/182591.182597

[9] Computer support for protocol-based treatment of cancer [J].

Hammond, P ;

Sergot, M .

JOURNAL OF LOGIC PROGRAMMING, 1996, 26 (02) :93-111

[10]

Meyer JJC, 1998, SPRING INT SER ENG C, P71

← 1 →