Abstract. Traditionally, integrity constraints in database systems,are,maintained,either,by,rolling,back,any,transac- tion,that,produces,an,inconsistent,state,or,by,disallowing or modifying,operations,that,may,produce,an,inconsistent state. An alternative,approach,is to provide,automatic,“re- pair” of inconsistent,states,using,production,rules. For each constraint, a production rule is used to detect constraint violation,...