论文部分内容阅读
先回顾了关系模型的有关规范化理论，而后遵循ODMG-93的标准，给出了对象一关系数据库（Object—Relational Database，ORDB）的两个重要范式，即划分范式与嵌套范式。探讨了与嵌套关系模式相对应的模式树的概念，定义了与嵌套关系等价的非嵌套关系，通过引理予以构造，并进行了证明。在总结关系模型范式理论的基础上，提出了对象一关系数据库中对象k范式的概念，同时给出了定理和几个规则。