带继承依赖的关系数据模型*

面向对象技术为关系数据库设计提供了一些有用的方法．本文给出了继承约束的概念，并证明了继承依赖的推理规则是正确、完备的．本文述得出继承依赖闭包、继承依赖的极小集合等一系列平行于函数依赖的结论．