| 用关系谓词推演实现复杂全称量词的结构化查询 |
| 钱哨 |
| 关键词：关系谓词 SQL 全称量词 存在量词 |
| 主要内容：关系谓词推演是集合论在关系数据库的逻辑查询中的理论基石,而SQL是具体实现该逻辑查询的标准计算机语言。特别是对于复杂全称量词的查询问题,很多情况下仅仅是集合论理论层面的推导,通过对复杂全称量词的结构化查询研究,利用集合论的关系谓词逻辑语义推演,通过实际案例对语言中复杂全称量词的分析和集合论推演,得到SQL的具体实现方法。 |
| 《计算机应用与软件》 2011,28(6).-170-172 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号