%0 Journal Article
%T An Algorithm for Determining Database Consistency Under the Closed World Assumption
%A Shen
%A Yidong
%J 计算机科学技术学报
%D 1992
%I 
%X It is well-known that there are circumstances where applying Reiter‘s closed world assumption(CWA)will lead to logical inconsistencies.In this paper,a new characterization of the CA consistency is pesented and an algorithm is proposed for determining whether a datalase without function symbols is consistent with the CWA.The algorithm is shown to be efficient.
%K 数据库
%K 相容性
%K 数据处理
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=B68AE62DB7B81D3D1D0721002D686E44&yid=F53A2717BDB04D52&vid=DF92D298D3FF1E6E&iid=E158A972A605785F&sid=F50A8B5513721E1C&eid=E39A3F4E3A67639B&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=1&reference_num=0