数据库求闭包，求最小函数依赖集，求候选码，判断模式分解是否为无损连接，3NF，BCNF