@formalization
成都信息工程大学软件自动生成与智能服务四川省重点实验室
Codes简单易用的一站式研发管理平台 :免费使用 、本地安装、研发管理、测试管理、数字大屏、CI CD、接口测试、缺陷管理、DevTestOps
数据库表设计助手。功能:范式(NF)分解、求最小依赖集、计算闭包、主码、候选码。