| 用关系谓词推演实现复杂全称量词的结构化查询 |
| |
| 引用本文： | 钱哨.用关系谓词推演实现复杂全称量词的结构化查询[J].计算机应用与软件,2011,28(6). |
| |
| 作者姓名： | 钱哨 |
| |
| 作者单位： | 交通运输部管理干部学院计算机系,北京,101601 |
| |
| 基金项目： | 湖北省杰出青年人才基金项目(2005ABB017) |
| |
| 摘 要： | 关系谓词推演是集合论在关系数据库的逻辑查询中的理论基石,而SQL是具体实现该逻辑查询的标准计算机语言。特别是对于复杂全称量词的查询问题,很多情况下仅仅是集合论理论层面的推导,通过对复杂全称量词的结构化查询研究,利用集合论的关系谓词逻辑语义推演,通过实际案例对语言中复杂全称量词的分析和集合论推演,得到SQL的具体实现方法。
|
| 关 键 词： | 关系谓词 SQL 全称量词 存在量词 |
IMPLEMENTING STRUCTURED QUERY ON COMPLEX UNIVERSAL QUANTIFIER WITH RELATIONS PREDICATE DEDUCTION |
| |
| Qian Shao.IMPLEMENTING STRUCTURED QUERY ON COMPLEX UNIVERSAL QUANTIFIER WITH RELATIONS PREDICATE DEDUCTION[J].Computer Applications and Software,2011,28(6). |
| |
| Authors: | Qian Shao |
| |
| Abstract: | 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... |
| |
| Keywords: | Relations predicate Structured query language(SQL) Universal quantifier Existential quantifier |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
