基于卡诺图确定依赖基

摘要

依赖基是关系模式中属性集的一个划分，多值依赖的逻辑蕴含可由依赖基直接判定。根据数据依赖与逻辑函数之间存在的对应等价联系，关系数据理论中的诸多问题在逻辑代数的范畴内得到了彻底解决。利用这一有效的途径，本文提出了基于卡诺图确定依赖基的新算法。对给定数据依赖集，由转换规则得到对应的逻辑函数及卡诺图，通过卡诺图求得所有质蕴含，依据这些质蕴含便可直接确定任意属性集的依赖基。