用关系谓词推演实现复杂全称量词的结构化查询

IMPLEMENTING STRUCTURED QUERY ON COMPLEX UNIVERSAL QUANTIFIER WITH RELATIONS PREDICATE DEDUCTION

关系谓词推演是集合论在关系数据库的逻辑查询中的理论基石,而SQL是具体实现该逻辑查询的标准计算机语言。特别是对于复杂全称量词的查询问题,很多情况下仅仅是集合论理论层面的推导,通过对复杂全称量词的结构化查询研究,利用集合论的关系谓词逻辑语义推演,通过实际案例对语言中复杂全称量词的分析和集合论推演,得到SQL的具体实现方法。

In logical query of relational database,the deduction of relations predicate is the theoretical foundation of the set theory,while the SQL is the standard computer language to concretely realise the logical query.In particular,for complex universal quantifier query issue,in many occasions it is just the deduction at theoretical level of the set theory.In the article,we derive specific realisation approach of SQL by studying the structured query on complex universal quantifiers and utilising logical semantic deduction of relations predicate of the set theory,as well as through analysing complex universal quantifier in languages and the set theory deduction with practical cases.