论文部分内容阅读
利用数据库模式与超图的对应关系,将对数据库的讨论转化为对超图的讨论,设H={N,E}是θ非环超图,s是N的一个子集,给出了一个根据s约简超图H的算法NMC[H,S,DC(H)]\算法的输出仍是θ非坏的,且DC(H)中任何一个结点都是非冗余点,并证明了算法的时间复杂度为O(|N|.|E|^2)。