資料庫正規化工作台
計算閉包、全部最小候選鍵、最小FD覆蓋、正規形式違規及含鍵關係的相依保持3NF合成。假設屬性原子化(1NF),且僅採指定FD,不推論業務相依。最小覆蓋中的違規為診斷,不代表已窮盡全部隱含相依的證明。上限12屬性/50行FD/100個拆分FD。
database-normalization-workbench本機處理
正在啟用本機工具…
結果
確認設定後執行;輸入變動會清除舊結果。
處理規則與限制
計算閉包、全部最小候選鍵、最小FD覆蓋、正規形式違規及含鍵關係的相依保持3NF合成。假設屬性原子化(1NF),且僅採指定FD,不推論業務相依。最小覆蓋中的違規為診斷,不代表已窮盡全部隱含相依的證明。上限12屬性/50行FD/100個拆分FD。
資料與規則檢查:Database System Concepts normalization ↗Source tool controls ↗
如何使用這個工具
載入範例,確認欄位單位與處理規則後在本機執行。修改任何輸入會清除舊結果;可明確複製或下載完整輸出。
不適合用在什麼情況
計算閉包、全部最小候選鍵、最小FD覆蓋、正規形式違規及含鍵關係的相依保持3NF合成。假設屬性原子化(1NF),且僅採指定FD,不推論業務相依。最小覆蓋中的違規為診斷,不代表已窮盡全部隱含相依的證明。上限12屬性/50行FD/100個拆分FD。