| 逻辑数据库中参数化CWAs问题研究 |
| |
| 引用本文： | 聂培尧.逻辑数据库中参数化CWAs问题研究[J].软件学报,1995,6(9):560-566. |
| |
| 作者姓名： | 聂培尧 |
| |
| 作者单位： | 山东财政学院经济信息管理系,济南,250014 |
| |
| 摘 要： | 闭世界假设（ＣＷＡｓ）是逻辑数据库中一类主要的隐含完备．本文给出了一种参数化ＣＷＡ的一般定义,使用这种参数化定义,已知的以及新的ＣＷＡｓ可作为特殊情况推导出,并可对数据库完备的概念进行更有效的描述．
|
| 关 键 词： | 逻辑数据库 闭世界假设 数据库完备 |
| 收稿时间： | 1993/12/21 0:00:00 |
| 修稿时间： | 1994/4/11 0:00:00 |
ON THE CLOSED WORLD ASSUMPTIONS FOR LOGIC DATABASES |
| |
| Nie Peiyao.ON THE CLOSED WORLD ASSUMPTIONS FOR LOGIC DATABASES[J].Journal of Software,1995,6(9):560-566. |
| |
| Authors: | 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. |
| |
| Keywords: | Logic database closed world assumptions database completion |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
