一阶逻辑在关系数据库中的应用  

The Application of First-order Logic in Rela tional Database

作　　者：伍丽华[1] 钟宏音 

机构地区：[1]中山大学数学与计算科学学院,广州510275 [2]广州新华通风设备厂,广州510000

出　　处：《现代计算机》2002年第3期36-39,共4页Modern Computer

摘　　要：一阶逻辑能唯一地作为关系数据库的统一语言,对关系数据库的可用性很多,本文主要讨论一些利用Prolog语言实现的应用。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.

关 键 词：一阶逻辑 关系数据库 演绎数据库 PROLOG语言 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]