← 全部工具

資料庫正規化工作台

計算閉包、全部最小候選鍵、最小FD覆蓋、正規形式違規及含鍵關係的相依保持3NF合成。假設屬性原子化(1NF),且僅採指定FD,不推論業務相依。最小覆蓋中的違規為診斷,不代表已窮盡全部隱含相依的證明。上限12屬性/50行FD/100個拆分FD。

database-normalization-workbench本機處理

正在啟用本機工具…

輸入與設定

在此分頁處理,不上傳或儲存輸入。每個文字欄位最多 32 KiB,完整輸出最多 1 MiB;各格式與模型另有界限。

結果

確認設定後執行;輸入變動會清除舊結果。

處理規則與限制

計算閉包、全部最小候選鍵、最小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。