逻辑数据库中参数化cwas问题研究

闭世界假设（ｃｗａｓ）是逻辑数据库中一类主要的隐含完备．本文给出了一种参数化ｃｗａ的一般定义，使用这种参数化定义，已知的以及新的ｃｗａｓ可作为特殊情况推导出，并可对数据库完备的概念进行更有效的描述．