| 不完全信息数据库的逻辑基础研究 |
| |
| 引用本文： | 毛宇光,曹子宁,任凯,周勇.不完全信息数据库的逻辑基础研究[J].南京航空航天大学学报,2006,38(6):679-686. |
| |
| 作者姓名： | 毛宇光 曹子宁 任凯 周勇 |
| |
| 作者单位： | 南京航空航天大学信息科学与技术学院,南京,210016;南京大学计算机软件新技术国家重点实验室,南京,210093;南京航空航天大学信息科学与技术学院,南京,210016 |
| |
| 摘 要： | 不完全信息问题存在于每一种数据库模型中。传统的二值逻辑难以适应不完全信息处理的需求,而多值逻辑能更多地捕获不完全信息的直觉含义。在关系数据库系统的实现中,对不完全信息的处理通常采用三值逻辑。为满足实际应用的需要,本文选取了适用于不完全信息处理的一组联结词∧、∨、→、和μ作为构造逻辑系统的原始联结词。构造了一种新的三值逻辑命题演算系统M PM和三值逻辑谓词演算系统M FM,证明了其可靠性和完备性,并给出了在查询优化方面的应用。M FM可作为研究不完全信息数据库理论的逻辑基础。
|
| 关 键 词： | 不完全信息 三值逻辑 空值 命题演算 谓词演算 |
| 文章编号： | 1005-2615(2006)06-0679-08 |
| 收稿时间： | 2006-06-30 |
| 修稿时间： | 2006-09-25 |
On Logical Foundation for Incomplete Information Database |
| |
| Mao Yuguang,Cao Zining,Ren Kai,Zhou Yong.On Logical Foundation for Incomplete Information Database[J].Journal of Nanjing University of Aeronautics & Astronautics,2006,38(6):679-686. |
| |
| Authors: | Mao Yuguang Cao Zining Ren Kai Zhou Yong |
| |
| Abstract: | |
| |
| Keywords: | incomplete information three-valued logic null propositional calculus predicate calculus |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
