一、模式分解 (1.1)引论 (1.2)比如 二、无损连接 (2.1)定理 (2.2)检验算法 (2.3)例题 (2.4)引出定理 三、保持依赖分解 (3.1)定理 (3.2)检验算法 四、将模式分解成3NF或BCNF (4.1.1)分解成BCNF (4.1.2)算法 (4.2.1)分解成3NF (4.2.2)算法