%0 Journal Article
%T ON THE CLOSED WORLD ASSUMPTIONS FOR LOGIC DATABASES<br>逻辑数据库中参数化CWAs问题研究
%A Nie Peiyao
%A <br>聂培尧
%J 软件学报
%D 1995
%I 
%X Closed world assumptions (CWAs) are an important class of implicit completions for logic databases. This paper presents a new parameterized definition of CWA. Bythis definition some known and new versions of CWAs can be derived as special cases. Inturn, the CWA presented in this paper can also instantiates the more basic notion of"database completion" and satisfies natural properties.
%K Logic database
%K closed world assumptions
%K database completion<br>逻辑数据库，闭世界假设，数据库完备
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=899B901E042545B76468457BBEA26BFC&yid=BBCD5003575B2B5F&vid=B31275AF3241DB2D&iid=9CF7A0430CBB2DFD&sid=A3F93694B058F76C&eid=CDC418F38C4BFD60&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=12