极小函数依赖集的正确算法及其证明.pdfVIP

2009年5月 西 安 邮 电 学 院 学 报 May2009 第14卷 第3期 JOURNALOFXI’ANUNIVERSITYOFPOSTANDTELFA~MMUNICATIONS Vo1．14No．3 极小函数依赖集的正确算法及其证明 于思江 ，王小兵2 (1．西安邮电学院教务处，陕西 西安 710121；2．西安电子科技大学计算机学院，陕西 西安 710071) 摘要：极小函数依赖集是关系数据库理论中的一个重要概念，它在模式分解中起到了重要作用，但是一些国内文献 介绍的算法存在问题。本文通过一个例子说明了该极小函数依赖集算法的错误，给出了正确的算法，并且出具了 详细证 明。 关键词：极小函数依赖集；算法；证明 ． 中图分类号．TP311．132．3 文献标识码：A 文章编号：1007—3264{2009)03—0110-03 F为一个