数据依赖与数据库规范化