文章列表
数据库的课程终于结束了，今天把E.F.Codd的大作A Relation Model of Data for Large Shared Data Banks打印出来，晚上去图书馆看了一晚上的Database in depth,深受震撼。
我们平时所说的关系事实上应该是关系变量，关系变量的某个值称为关系的值，简称关系。可以从逻辑学的角度分析数据库。
1.关系变量的表头表示了某个特定的谓词，谓词可以看做是真值函数。调用该函数即是谓词实例化。
2.与关系变量有关的命题都是真命题，即关系是真命题的集合。若关系变量R的谓词是P，那么在给定时间里每一个出现在R中的元组t都能被看做是一个特定的真命 ...