摘要
本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言,应用谓词逻辑作为它的数学基础,使得对这些语言的研究成为对谓词逻辑的研究,优化数据子语言的表示成为对谓词逻辑的化简问题。
This paper is intended to study the application of predicate logic and the theory of axiomatization on the relational database to denote data sublanguageo 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.
作者
卢延鑫
LU Yan-xin （Institute of Logic, Shanghai Academy of Social Sciences,Shanghai 200025,China）
出处
《电脑知识与技术》
2007年第9期1213-1215,共3页
Computer Knowledge and Technology
关键词
关系数据库
数据库
关系
谓词逻辑
relational database
database
relation
predicate logic
