| 摘要: |
| 闭世界假设（ＣＷＡｓ）是逻辑数据库中一类主要的隐含完备．本文给出了一种参数化ＣＷＡ的一般定义，使用这种参数化定义，已知的以及新的ＣＷＡｓ可作为特殊情况推导出，并可对数据库完备的概念进行更有效的描述． |
| 关键词: 逻辑数据库，闭世界假设，数据库完备 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| ON THE CLOSED WORLD ASSUMPTIONS FOR LOGIC DATABASES |
|
Nie Peiyao
|
| Abstract: |
| 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. |
| Key words: Logic database, closed world assumptions, database completion. |
