谓词定义关系变量

每个关系变量都有一个谓词，当前关系值中的每个元组都实例化一个被数据库接受为真的命题。设计表时先写清谓词，能帮助判断哪些属性属于同一个事实，哪些应该拆分。