与或图数据库的关系模式规范化算法

在图论基础上提出了与或图数据库。以与或图为描述工具的一种新的数据库理论 ,它使数据库的理论更加直观 ,算法更加简洁。给出了与或图数据库的定义、规范化理论、无冗余和既约化理论 ,证明了它与关系数据库的等价性 ;然后给出了依赖集存在冗余和既约的必要条件 ,讨论了无损分解在与或图形式下的特性 ,从而形成了与或图数据库关系模式分解的规范化算法。结合实例阐述了与或图数据库比关系数据库更加形象直观 ,便于理解学习 。