https://jcst.ict.ac.cn/article/id/206
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...
closed world assumptiondatabase consistencyalgorithmdetermining