%0 Journal Article
%T 逻辑数据库中参数化cwas问题研究
%A 聂培尧？
%J 软件学报
%P 560-566
%D 1995
%X 闭世界假设（ｃｗａｓ）是逻辑数据库中一类主要的隐含完备．本文给出了一种参数化ｃｗａ的一般定义，使用这种参数化定义，已知的以及新的ｃｗａｓ可作为特殊情况推导出，并可对数据库完备的概念进行更有效的描述．
%K 逻辑数据库
%K 闭世界假设
%K 数据库完备
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19950906&flag=1