The Application of Predicate Logic on Relational Database
Yanxin Lu · Computer Knowledge and Technology · 2007
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.