关于关系模型的思考

　数据库的课程终于结束了，今天把E.F.Codd的大作A Relation Model of Data for Large Shared Data Banks打印出来，晚上去图书馆看了一晚上的Database in depth,深受震撼。

　　我们平时所说的关系事实上应该是关系变量，关系变量的某个值称为关系的值，简称关系。可以从逻辑学的角度分析数据库。

1.关系变量的表头表示了某个特定的谓词，谓词可以看做是真值函数。调用该函数即是谓词实例化。

2.与关系变量有关的命题都是真命题，即关系是真命题的集合。若关系变量R的谓词是P，那么在给定时间里每一个出现在R中的元组t都能被看做是一个特定的真命题m。设t中的属性为A1,A2...An，m=P(A1,A2,....An);

3.数据库可以被认为是真命题的集合，而不只是数据的集合，当系统求一些关系表达式的值（比如查询）其实是对给定的真命题进行推导。



于是有了点想法，关系模型可以建立在关系代数或逻辑学的基础之上，有着数学的理论基础，然而面向对象只是一种思想，并没有强大的理论基础，既然面向对象和关系模型不匹配，而且对象数据库目前难成大器，为何没有诞生面向关系的编程语言呢？关系理论模拟现实世界的能力真的不够么？