元组关系演算的语义研究,王小兵,,针对一些文献存在的问题,规范了特性谓词在元组关系演算中的表达形式,研究了完整性约束及空值对元组关系演算语义的影响,并通过