关系表达式的谓词含义可由关系变量谓词推导

[[关系变量谓词与命题及闭合世界假设]]中说过每个关系变量都关联一个谓词，本节 把这个视角推广到任意关系表达式：任何一个关系表达式rx都有一个关联的含义 （谓词），而这个谓词总是可以由表达式中出现的关系变量本身的谓词、加上表达式 使用的关系运算的语义共同确定。书中用一个具体例子说明这个推导过程：对供应商 关系变量S做投影S{SNO,SNAME,STATUS}（去掉CITY属性），结果对应的谓词并不是 简单丢掉CITY这个参数，而是变成”存在某个城市CITY，满足供应商SNO签订了合同， 名称为SNAME，状态为STATUS，所在城市正是CITY”——原本CITY是谓词的一个自由参数 （对应关系的一个属性），投影后CITY变成了逻辑学意义上被”存在某个城市”这个量词 约束的约束变元（bound variable），不再是结果关系的参数，这也正是为什么投影 结果里减少了一个属性（从四元降到三元）：不是信息被丢弃，而是这个信息从”由 调用方指定的参数”变成了”存在性断言里被量化掉的变量”。这个洞察的价值在于： 它把关系代数的每一步运算，都还原成了对底层逻辑命题的操作——不仅是投影， 连接、限制、并、交、差等运算同理，每次施加一个运算，都是在用它对应的逻辑 语义去改写原有谓词，这正是[[类型与关系的逻辑区别数据库是逻辑系统]]中”计算 关系表达式本质是从已有真理推导新真理”这条洞察的具体展开，也为后续第10-11章 用一阶谓词逻辑重新表述SQL语义打下了基础。