基于对象-关系数据模型的范式研究

The Normal Forms Based on Object-Relational Data Model

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