Reactive consistency control in deductive databases

Abstract

Classical treatment of consistency violations is to back out a database operation or transaction.In applications with large numbers of fairly complex consistency constraints thisclearly is an unsatisfactory solution. Instead, if a violation is detected the user should begiven a diagnosis of the constraints that failed, a line of reasoning on the cause that could haveled to the violation, and suggestions for a repair. The problem is particularly complicated ina deductive database system...