“函数依赖自动最小化系统”这个设计应怎么设计

Question

函数依赖是数据库课程中你许掌握的一个重要知识点，对任何一个关系模式R（U，F），其中如何消除F中所有的冗余函数依赖，将F极小化是困难的，本系统准备致力于解决这个问题。
利用这个算法1)首先通过界面把R中的U和F输入计算机内，存入一个数据库中。2) 逐一检查F中各函数依赖FDi: Xi→Yi，若Yi=Ai1Ai2…Aik，k≥2，则用{X→Aj|j=1，2，…k}来取代Xi→Yi.3)逐一检查F中各函数依赖FDi: Xi→Aij令G=F-{ Xi→Aij }，若Aij∈XG+，则从F中去掉此函数依赖。4）逐一取出F中各函数依赖FDi: Xi→Aij设Xi =Bi1Bi2…Bim，逐一检查Bij（i=1，2，…，m），如果Aij∈(X-Bi)F+，则以X-Bi取代Xi.
要再与数据库连接在一起。希望大家给予帮助

Answer 1

大三学过离散,感觉不需要数据库存储