关系数据理论 数据库模式 数据库设计 关系数据库逻辑设计 关系数据库规范化理论 关系模型 函数依赖 多值依赖 第一范式 第二范式 第三范式 BCNF 多值依赖 4NF 模式分解 规范化算法