Title :
Flexible Integrity Checking of Hard and Soft Constraints
fDate :
Aug. 31 2009-Sept. 4 2009
Abstract :
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.
Keywords :
formal verification; software maintenance; flexible integrity checking; hard constraints checking; inconsistency-tolerant integrity checking; risk management; soft constraints checking; Constraint theory; Databases; Employment; Expert systems; Integrated circuit modeling; Retirement; Risk management; hard constraints; inconsistency tolreance; integrity checking; risk management; soft constraints;
Conference_Titel :
Database and Expert Systems Application, 2009. DEXA '09. 20th International Workshop on
Conference_Location :
Linz
Print_ISBN :
978-0-7695-3763-4
DOI :
10.1109/DEXA.2009.21