要將關聯式資料表 ?(?,?,?,?,?)R(A,B,C,D,E) 分解成符合第三正規化(3NF)或 Boyce-Codd 正規化(BCNF)的表格,並同時保持無損連結(lossless join),我們需要考慮給定的功能相依:
確認主鍵:
分解關係:
驗證 ?1(?,?,?,?)R1(A,B,C,D) 和 ?2(?,?)R2(D,E) 是否無損連結:
對於無損連接,根據關係分解理論,如果 ?1∩?2R1∩R2 包含一個超鍵(superkey),則分解是無損的。
在 ?1(?,?,?,?)R1(A,B,C,D) 和 ?2(?,?)R2(D,E) 中,公共屬性是 ?D。我們需要檢查 ?D 是否為 ?1R1 或 ?2R2 的超鍵:
由於 ?D 是 ?2R2 的超鍵,根據無損連接規則,這樣的分解是無損的。
我們將 ?(?,?,?,?,?)R(A,B,C,D,E) 分解為:
?1(?,?,?,?)R1(A,B,C,D)
?2(?,?)R2(D,E)
這樣的分解既能維持無損連接(lossless join),又能保證數據庫的正規化。