BC范式
|
設關系模式R<U，F>∈1NF，如果對于R的每個函數依賴X→Y，若Y不屬于X，則X必含有候選碼，那么R∈BCNF。
若R∈BCNF
每一個決定屬性集（因素）都包含（候選）碼
R中的所有屬性（主，非主屬性）都完全函數依賴于碼
R∈3NF（證明）
若R∈3NF? ? 則??R不一定∈BCNF
在關系模式STJ（S，T，J）中，S表示學生，T表示教師，J表示課程。
每一教師只教一門課。每門課由若干教師教，某一學生選定某門課，就確定了一個固定的教師。某個學生選修某個教師的課就確定了所選課的名稱 ：? ?? ?? ?? ?? ? (S，J)→T，(S，T)→J，T→J
|
|----------------------------------------------------------------------------------------|
版權聲明 版權所有 @zhyiwww
引用請注明來源 http://www.aygfsteel.com/zhyiwww
|----------------------------------------------------------------------------------------|
posted on 2006-11-01 19:37
zhyiwww 閱讀(2713)
評論(0) 編輯 收藏 所屬分類:
概念辯晰