逻辑代数新法解决关系数据库理论关键问题

本文探讨了"处理关系数据库理论问题的新方法"，由作者张亦舜在浙江工商大学计算机与信息工程学院进行的研究。论文的核心是提出一种新颖的方法，利用逻辑代数来统一解决关系数据库理论中的关键问题，特别是函数依赖集的相关难题。传统上，求解关系数据库中的问题，如确定所有码、属性集闭包等，往往涉及复杂的算法，且难以获取完整结果，特别是找到最小函数依赖集的过程可能不全面。 作者首先指出，自Codd发表关系数据库的基础理论以来，尽管理论体系已成熟，但实际操作中仍存在效率低下的算法。新方法的关键在于将给定的函数依赖集转化为逻辑函数，通过逻辑代数的手段找出所有质蕴含。质蕴含在此意味着函数依赖的必要条件，它们对应于逻辑函数中的不可约形式。通过这一转化，论文证明每个质蕴含都对应着一个最简的函数依赖，即去除冗余属性后的决定性依赖。 这种转化使得处理函数依赖集的问题变得简洁明了，可以方便地求出所有等价的最小函数依赖集、候选码，以及任意属性集的闭包。这种方法超越了以往的研究，它不仅提供了新的证明路径，简化了证明过程，而且深入理解了逻辑函数的质蕴含与最简函数依赖之间的关系。 论文引用了Codd的文章作为起点，强调了对关系数据库理论基础的深入挖掘和对现有算法的改进。值得注意的是，作者提到论文的部分内容曾在半年前提交全国数据库会议，但未收到反馈，这可能反映了当前关系数据库理论研究领域的一些挑战和未被充分探索的领域。 张亦舜的研究为关系数据库理论的实践应用提供了一个有力工具，有望提升数据处理的效率和准确性，同时为逻辑代数与关系数据库理论的结合开辟了新的可能性。