释
元组关系演算
yuán zǔ guān xì yǎn suàn · ㄩㄢˊ ㄗㄨˇ ㄍㄨㄢ ㄒㄧˋ ㄧㄢˇ ㄙㄨㄢˋ
修撰于 2026-07-01 01:31:27
音义
| 拼音 | yuán zǔ guān xì yǎn suàn |
|---|---|
| 字母 | yuan zu guan xi yan suan |
| 首字母 | yzgxys |
| 注音 | ㄩㄢˊ ㄗㄨˇ ㄍㄨㄢ ㄒㄧˋ ㄧㄢˇ ㄙㄨㄢˋ |
| 注音符号 | ㄩㄢ ㄗㄨ ㄍㄨㄢ ㄒㄧ ㄧㄢ ㄙㄨㄢ |
广训
元组演算是埃德加·科德导入的演算，是关系模型的一部分，发展目的是提供宣告式的数据库查询语言。数据库查询语言QUEL和后来的SQL中的一些灵感是由元组演算而来。SQL和原来的关系模型和演算已有许多不同，后来成为实际上的数据库查询语言标准，几乎所有的关系数据库管理系统中都会用到SQL或是其变体。后来Lacroix和Pirotte提出了接近于一阶逻辑的域演算，并证明了这两种演算和关系代数在表达能力上是等价的。若关系数据库的查询语言可以表达一种以上上述的查询方式，则可称为具有“关系完备性”。