元組的每個(gè)分量必須是不可分割的數(shù)據(jù)項(xiàng),這叫做第一范式,簡稱1NF。
若關(guān)系模式R∈1NF,且每一個(gè)非主屬性完全函數(shù)依賴于碼,則R∈2NF。
若關(guān)系模式R∈2NF,且每一個(gè)非主屬性都不傳遞依賴于碼,則R∈3NF。 3NF不允許有X不包含碼,Y是非主屬性的非平凡函數(shù)依賴X→Y。
若關(guān)系模式R∈1NF,且對(duì)于每一個(gè)非平凡的函數(shù)依賴X→Y,都有X包含碼,則R∈BCNF。 BCNF不管Y是主屬性還是非主屬性,只要X不包含碼,就不允許有X→Y這樣的非平凡函數(shù)依賴。
若關(guān)系模式R∈1NF,且對(duì)于每一個(gè)非平凡的多值依賴X→→Y,(Y?X),都有X包含碼,則R∈4NF。
PS:圖為自己畫的,可能有理解上錯(cuò)誤,如果發(fā)現(xiàn),望指出錯(cuò)誤。 參考書籍:全國計(jì)算機(jī)等級(jí)考試四級(jí)教程——數(shù)據(jù)庫原理(2017版)
新聞熱點(diǎn)
疑難解答
圖片精選