样本依赖与连接依赖的等价性(英文)  

Equivalence of the Template Dependencies and the Join Dependencies

作　　者：李星野[1] 王书宁[1] 岳占峰 

机构地区：[1]清华大学自动化系,北京100084

出　　处：《软件学报》2002年第10期1915-1920,共6页Journal of Software

基　　金：国家自然科学基金No.69974023 ;清华大学科学基金;清华大学博士基金~

摘　　要：以抽象代数为工具,探索了全样本依赖与全连接依赖之间的关系.首先,分别在全样本依赖集和全连接依赖集上建立等价关系,这两种等价关系都将作用相同的依赖视为等价依赖.然后证明了在这两个等价关系下的商集分别构成么半群,并且这两个么半群是同构的.这就等于证明了全样本依赖类本质上等同于全连接依赖类.最后给出了一个关于全无环连接依赖的有趣结果.有关结果可以在关系数据库的设计中发挥积极作用.The relationship between the total template dependencies and the total join dependencies is probed into by means of abstract algebra. First, two equivalence relations are defined in the set of the total template dependencies and the set of the total join dependencies respectively. The equivalence relations regard the dependencies that function is the same as equivalent dependencies. Then, it is proved that two quotient sets under two equivalence relations constitute monoids respectively and there is an isomorphism mapping between the monoids, which shows that the class of the total join dependencies is essentially identical with the class of the total template dependencies. Finally, an interesting result about the total acyclic join dependencies is given. The relevant results will play active role in designing relational database schemes.

关 键 词：样本依赖 连接依赖 等价性 蕴含问题 同构 么半群 关系数据库 

分 类 号：TP311.132[自动化与计算机技术—计算机软件与理论]