BCNF（Boyce-Codd Normal Form）是關係資料庫設計中的一個概念，它是資料庫表設計達到第三範式（3NF）的一個更高級的範式。BCNF的目的是消除主屬性對候選鍵的部分和傳遞函式依賴。在BCNF中，對於任何一個決定性屬性集（候選鍵），它必須能夠獨立決定表中的所有其他屬性，而不依賴於其他屬性。這意味著，如果從表中刪除任何屬性，剩下的屬性集仍然能夠獨立決定表中的所有其他屬性。
為了達到BCNF，可能需要對表進行分解，這種分解通常分為兩種類型：保持依賴和無損連線分解。保持依賴分解意味著在分解過程中保持原有的函式依賴關係，而無損連線分解則確保分解後的表能夠無損地重新連線回原來的表結構。
例如，考慮一個學生信息表，其中學號是一個候選鍵，可以確定學生的姓名。如果表中還存在（班級，學生姓名）這樣的組合，並且這個組合也可以決定學號，那麼在主屬性之間就形成了傳遞依賴。在BCNF中，這樣的依賴是不被允許的，因此可能需要將表分解成更小的、符合BCNF的子表。
總結來說，BCNF分解是一種資料庫表設計的方法，它通過消除函式依賴中的部分和傳遞依賴，進一步提高資料庫的規範化程度。這種分解可能涉及到保持函式依賴和無損連線性的考慮。