| 谓词逻辑在关系数据库中的应用 |
| |
| 引用本文： | 卢延鑫. 谓词逻辑在关系数据库中的应用[J]. 数字社区&智能家居, 2007, 0(17) |
| |
| 作者姓名： | 卢延鑫 |
| |
| 作者单位： | 上海社会科学院,逻辑学研究室,上海,200025 |
| |
| 摘 要： | 本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言,应用谓词逻辑作为它的数学基础,使得对这些语言的研究成为对谓词逻辑的研究,优化数据子语言的表示成为对谓词逻辑的化简问题.
|
| 关 键 词： | 关系数据库 数据库 关系 谓词逻辑 |
The Application of Predicate Logic on Relational Database |
| |
| LU Yan-xin. The Application of Predicate Logic on Relational Database[J]. Digital Community & Smart Home, 2007, 0(17) |
| |
| Authors: | LU Yan-xin |
| |
| Abstract: | This paper is intended to study the application of predicate logic and the theory of axiomatization on the relational database to denote data sublanguage.Application predicate logic on data sublanguage as its mathematical foundation would make the study of data sublanguage become the research of predicate logic and the optimization of data sublanguage become the matters of simplification of predicate logic. |
| |
| Keywords: | relational database database relation predicate logic |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
