An Algorithm for Determining Database Consistency Under the Closed World Assumption

It is well-known that there are circumstances where applying Reiter s closed world assump- tion (CWA) will lead to logical inconsistencies . In this paper, a new characterization of the CWA consistency is pesented and an algorithm is proposed for determining whether a datalase with- out function symbols is consistent with the CWA. The algorithm is shown to be efficient.