β-acyclic based on extended strict confilict-free
β-acyclic based on extended strict confilict-free出 版 物:《Journal of Harbin Institute of Technology(New Series)》 (哈尔滨工业大学学报(英文版))
年 卷 期:2000年第7卷第4期
页 面:34-37页
学科分类:08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
主 题:mixed dependency β acyclic scheme decomposition
摘 要:Introduces the concepts of strict conflict free and extended strict conflict free,proves decomposition satisfies lossless join,keep dependency, β acyclic and 4NF if and only if Γ is extended strict conflict free in the mixed environment,proposes the algorithm of getting degenerated MVDS sets,judging conflict free,judging stric conflict free and β acyclic decomposition in mixed environment,and illustrates with an example that the complexity of algorithm is linear.