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