Abstract: As one of effective automated reasoning methods, tableau has been applied to many important AI fields. On the base of tableau, an open and close new reasoning criterion is proposed. The criterion is applied to inconsistent relational database which databa

Key words: Tableau, Integrity constraint, Database repairs