软件简介 可用于计算闭包、计算候选码、计算最小依赖集、实现范式分解(可分解为2NF、3NF、BCNF并演示分解过程),适用于本科教学或数据库辅助设计。已在gitee上开源共享,欢迎大家一起完善。 效果图 软件功能 计算闭包 计算增广集计算传递依赖计算闭包 计算关键字 计算主码计算候选码 计算最小依赖集 依赖分解去除多余依赖去除多余属性计算最小依赖集 模式分解 分解为2NF分解为3NF分解为BCNF分解过程展示 下载链接 联系方式:1102418305@qq.com 下载地址: https://gitee.com/formalization/schema_decomposition