| 一阶逻辑在关系数据库中的应用 |
| |
| 引用本文： | 伍丽华,钟宏音.一阶逻辑在关系数据库中的应用[J].现代计算机,2002(3):36-39. |
| |
| 作者姓名： | 伍丽华 钟宏音 |
| |
| 作者单位： | [1]中山大学数学与计算科学学院，广州510275 [2]广州新华通风设备厂，广州510000 |
| |
| 摘 要： | 一阶逻辑能唯一地作为关系数据库的统一语言，对关系数据库的可用性很多，本文主要讨论一些利用Prolog语言实现的应用。
|
| 关 键 词： | 一阶逻辑 关系数据库 演绎数据库 Prolog语言 |
The Application of First-order Logic in Relational Database |
| |
| WU Li-hua,ZHONG Hong-yin.The Application of First-order Logic in Relational Database[J].Modem Computer,2002(3):36-39. |
| |
| Authors: | WU Li-hua ZHONG Hong-yin |
| |
| Abstract: | First-order logic may be introduced as an united language,and there's a large usage to the relational database,In this paper we discussed the application which implemented by Prolog programming language. |
| |
| Keywords: | First-order Logic Deductive Database Prolog |
| 本文献已被 CNKI 维普 等数据库收录！ |
