计算闭包
计算增广集
计算传递依赖
计算闭包
计算关键字
计算主码
计算候选码
计算最小依赖集
依赖分解
去除多余依赖
去除多余属性
计算最小依赖集
模式分解
分解为2NF
分解为3NF
分解为BCNF
分解过程展示
效果图安装说明环境依赖无部署安装无目录结构├──index.html //主页├──js //核心程序│ ├──DatabaseTool.js //核心功能实现│ ├──jquery-1.3.2.js //js库│ └──mainStyle.js //动画效果├──css//css样式│ ├──mainStyle.css //主样式│ └──lrtk.css //左侧导航栏样式 ├──images //图片├──demo //操作演示├──Readme.md //help├──LICENSE.md //版权信息└──CONTRIBUTING.md //贡献者/贡献组织关于作者作者姓名：李建清作者单位：成都信息工程大学--软件自动生成与智能服务四川省重点实验室指导教师：蒋建民教授、赵卓宁教授指导教师单位：成都信息工程大学--软件自动生成与智能服务四川省重点实验室贡献者/贡献组织请阅读CONTRIBUTING.md查阅为该项目做出贡献的开发者。鸣谢灵感来源于Armstrong公理系统感谢蒋建民教授、赵卓宁教授的指导与支持版权信息该项目签署了LGPL-3.0授权许可，详情请参阅LICENSE.md更新日志V1.0.0版本，2021-03-12
评论