课程名称: 数据库系统(中):建模与设计     本讲内容:1603-保持依赖分解及其检验算法(11分58秒)