SQL中全称量词的实例解析

作者：李萍; 王春红; 杨秀荣

来源：廊坊师范学院学报(自然科学版), 2013, (02): 53-54.

• 全称量词
• 谓词转换
• 存在量词
• 关系代数 universal quatifier
• predicate translateion
• existential quantifier
• relational algebra

在三个关系模式中,应用离散数学的有关理论,把具有全称量词的谓词查询问题转换成等价的存在量词的谓词查询,并用SQL语言予以实现,而且结合关系代数对全称量词的实现进行比较。

• 单位
  运城学院