Boyce – Codd normal formu (veya BCNF veya 3.5NF), veritabanı normalleştirmesinde kullanılan normal bir formdur . Üçüncü normal formun (3NF) biraz daha güçlü bir versiyonudur. BCNF, 1974 yılında Raymond F. Boyce ve Edgar F. Codd tarafından, başlangıçta tanımlandığı şekliyle 3NF tarafından ele alınmayan belirli anormallik türlerini ele almak için geliştirilmiştir.
Bir ilişkisel şema BCNF'de ise, diğer tür artıklık hala mevcut olsa da, işlevsel bağımlılığa dayalı tüm artıklık kaldırılmıştır. İlişkisel bir şema R, ancak ve ancak X → Y bağımlılıklarının her biri için aşağıdaki koşullardan en az biri geçerliyse Boyce – Codd normal biçimindedir:
- X → Y önemsiz bir işlevsel bağımlılıktır (Y ⊆ X),
- X, R şeması için bir süperanahtardır.
Yalnızca nadir durumlarda, 3NF tablosu BCNF gerekliliklerini karşılamaz. Birden çok örtüşen aday anahtarı olmayan bir 3NF tablosunun BCNF'de olması garanti edilir. İşlevsel bağımlılıklarının ne olduğuna bağlı olarak, iki veya daha fazla örtüşen aday anahtarı olan bir 3NF tablosu BCNF'de olabilir veya olmayabilir.
BCNF'yi karşılamayan bir 3NF tablosu örneği:
Kort | Başlangıç saati | Bitiş saati | Ücret türü |
---|---|---|---|
1 | 09:30 | 10:30 | İndirimli |
1 | 11:00 | 12:00 | İndirimli |
1 | 14:00 | 15:30 | Standart |
2 | 10:00 | 11:30 | Özel-B |
2 | 11:30 | 13:30 | Özel-B |
2 | 15:00 | 16:30 | Özel-A |
- Tablodaki her sıra, bir tenis kulübündeki bir kort rezervasyonunu temsil eder. Bu kulübün 1 ve 2 numaralı 2 kortu vardır.
- Bir rezervasyon kaydı, bir kortun hangi saatler arasında rezerve edildiğini belirtir.
- Ek olarak, her rezervasyonun kendisiyle ilişkilendirilmiş bir Ücret Türü vardır. Dört farklı ücret türü vardır: İndirimli, Standart, Özel-A ve Özel-B.
Tablonun süperanahtarları şunlardır:
- S 1 = {Kort, Başlangıç zamanı}
- S 2 = {Kort, Bitiş zamanı}
- S 3 = {Ücret türü, Başlangıç zamanı}
- S 4 = {Ücret türü, Bitiş zamanı}
- S 5 = {Kort, Başlangıç zamanı, Bitiş zamanı}
- S 6 = {Ücret türü, Başlangıç zamanı, Bitiş zamanı}
- S 7 = {Kort, Ücret türü, Başlangıç zamanı}
- S 8 = {Kort, Ücret türü, Bitiş zamanı}
- S T = {Kort, Ücret türü, Başlangıç zamanı, Bitiş zamanı}, önemsiz süperanahtar
Yukarıdaki tabloda Başlangıç zamanı ve Bitiş zamanı özelliklerinin her biri için yinelenen değerleri olmasa da, bazı günlerde 1. ve 2. kortta iki farklı rezervasyonun aynı anda başlayabileceğini veya sona erebileceğini kabul etmemiz gerektiği unutulmamalıdır. Bu, {Başlangıç zamanı} ve {Bitiş zamanı} nın tablonun süperanahtarları olarak kabul edilememesinin nedenidir.
Bununla birlikte, sadece, 1 S 2S,3 S 4 olan S aday anahtarlar için, örneğin (bu ilişki için, en az superkeys olduğu) S 1 ⊂ S 5, dolayısıyla S 5 bir aday anahtar olamaz.
2NF'nin asal olmayan özniteliklerin kısmi işlevsel bağımlılıklarını yasakladığı göz önüne alındığında, 3NF, aday anahtarlar üzerindeki asal olmayan özniteliklerin geçişli işlevsel bağımlılıklarını yasaklar.
Bugünün kort kayıtları tablosunda asal olmayan nitelikler yoktur: yani, tüm özellikler bazı aday anahtarlarına aittir. Bu nedenle tablo hem 2NF hem de 3NF'ye bağlıdır.
BCNF'ye uymayan tasarım, BCNF'yi karşılamak üzere şu şekilde değiştirilebilir:
|
|
Ücret türleri tablosunun aday anahtarları şunlardır: {Ücret türü} ve {Kort, Üye mi}; Bugünün rezervasyonları tablosu için aday anahtarlar {Kort, Başlangıç zamanı} ve {Kort, Bitiş zamanı}'dır. Her iki tablo da BCNF'tir. {Ücret türü}, Ücret türleri tablosunda bir anahtar olduğunda, iki farklı kortla ilişkilendirilmiş bir ücret türüne sahip olmak imkansızdır, bu nedenle, Ücret türleri tablosunda anahtar olarak {Ücret türü} kullanılarak, orijinal tabloyu etkileyen anormallik elenmiş olur.
BCNF'nin elde edilebilirliği
Bazı durumlarda, BCNF olmayan bir tablo, BCNF'yi karşılayan ve orijinal tabloda tutulan bağımlılıkları koruyan tablolara ayrıştırılamaz. Beeri ve Bernstein, 1979'da, örneğin, bir dizi işlevsel bağımlılığın {AB → C, C → B} bir BCNF şeması ile temsil edilemeyeceğini gösterdi.
İşlevsel bağımlılıkları {AB → C, C → B} modelini takip eden aşağıdaki BCNF olmayan tabloda:
Kişi | Mağaza türü | En yakın mağaza |
---|---|---|
Davidson | Gözlükçü | Eagle Eye |
Davidson | Kuaför | Snippets |
Wright | Kitapçı | Merlin Books |
Fuller | Fırın | Doughy's |
Fuller | Kuaför | Sweeney Todd's |
Fuller | Gözlükçü | Eagle Eye |
Her Kişi / Mağaza türü kombinasyonu için, tablo bize bu türden hangi mağazanın coğrafi olarak o kişinin evine en yakın olduğunu gösterir. Basit olması için tek bir mağazanın birden fazla türde olamayacağını varsayıyoruz.
Tablonun aday anahtarları:
- {Kişi, Mağaza türü},
- {Kişi, En yakın mağaza}.
Üç özniteliğin tümü asal öznitelikler olduğundan (yani aday anahtarlara ait), tablo 3NF içindedir. Tablo BCNF'de değildir, Mağaza türü özelliği işlevsel olarak süperanahtar olmayan bir mağazaya bağlıdır: En yakın mağaza.
BCNF'nin ihlali, tablonun anormalliklere tabi olduğu anlamına gelir. Örneğin, Eagle Eye, "Davidson" kaydında Mağaza türü "Gözlükçü" olarak kalırken "Fuller" kaydında Mağaza türünü "Optikçi" olarak değiştirilmiş olabilir. Bu, "Eagle Eye"ın mağaza türü nedir?" sorusuna çelişkili cevaplar olacağı anlamına gelir. Her mağazanın Mağaza türünü yalnızca bir kez tutmak, bu tür anormalliklerin ortaya çıkmasını önleyeceği için tercih edilebilir görünür:
|
|
Bu gözden geçirilmiş tasarımda, "Kişiye yakın mağaza" tablosunda {Kişi, Mağaza} aday anahtarı ve "Mağaza" tablosu {Mağaza} aday anahtarına sahiptir. Ne yazık ki, bu tasarım BCNF'ye bağlı olsa da, farklı gerekçelerle kabul edilemez: aynı kişiye karşı aynı türden birden fazla mağazayı kaydetmemize izin veriyor. Diğer bir deyişle, aday anahtarları, {Kişi, Mağaza türü} → {Mağaza} işlevsel bağımlılığına saygı duyulacağını garanti etmez.
Tüm bu anormallikleri ortadan kaldıran (ancak BCNF'ye uymayan) bir tasarım mümkündür. Bu tasarım, Temel Anahtar Normal Form olarak bilinen yeni bir normal formu sunar. Bu tasarım, yukarıda açıklanan "Mağaza" tablosu ile tamamlanan orijinal "En yakın mağazalar" tablosundan oluşur. Bernstein'ın şema oluşturma algoritması tarafından oluşturulan tablo yapısı aslında EKNF'dir, ancak algoritma tasarlandığı sırada, 3NF'ye yapılan bu iyileştirme henüz tanınmamıştı:
|
|
İlk tablodaki {Mağaza türü, En yakın mağaza}'nın ikinci tablodan bir {Mağaza türü, Mağaza}' ya referans vermesi gerektiği etkisine yönelik bir referans bütünlük kısıtlaması tanımlanırsa, daha önce açıklanan veri anormallikleri önlenir.
Ayrıca bakınız
Kaynakça
- ^ Codd, E. F. "Recent Investigations into Relational Data Base" in Proc. 1974 Congress (Stockholm, Sweden, 1974). New York, N.Y.: North-Holland (1974).
- ^ Database System Concepts. 6th. McGraw-Hill. 2006. ss. 333. ISBN .
- ^ Vincent, M. W. and B. Srinivasan. "A Note on Randi Schemes Which Are in 3NF But Not in BCNF". Information Processing Letters 48(6), 1993, pp. 281–283.
- ^ Beeri, Catriel and Bernstein, Philip A. "Computational problems related to the design of normal form relational schemas". ACM Transactions on Database Systems 4(1), March 1979, p. 50.
- ^ Zaniolo, Carlo. "A New Normal Form for the Design of Relational Database Schemata". ACM Transactions on Database Systems 7(3), September 1982, p. 493.
- ^ Bernstein, P. A. "Synthesizing Third Normal Form relations from functional dependencies". ACM Transactions on Database Systems 1(4), December 1976 pp. 277–298.
Dış bağlantılar
- ITS, Texas Üniversitesi tarafından .
wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar
Boyce Codd normal formu veya BCNF veya 3 5NF veritabani normallestirmesinde kullanilan normal bir formdur Ucuncu normal formun 3NF biraz daha guclu bir versiyonudur BCNF 1974 yilinda Raymond F Boyce ve Edgar F Codd tarafindan baslangicta tanimlandigi sekliyle 3NF tarafindan ele alinmayan belirli anormallik turlerini ele almak icin gelistirilmistir Bir iliskisel sema BCNF de ise diger tur artiklik hala mevcut olsa da islevsel bagimliliga dayali tum artiklik kaldirilmistir Iliskisel bir sema R ancak ve ancak X Y bagimliliklarinin her biri icin asagidaki kosullardan en az biri gecerliyse Boyce Codd normal bicimindedir X Y onemsiz bir islevsel bagimliliktir Y X X R semasi icin bir superanahtardir Yalnizca nadir durumlarda 3NF tablosu BCNF gerekliliklerini karsilamaz Birden cok ortusen aday anahtari olmayan bir 3NF tablosunun BCNF de olmasi garanti edilir Islevsel bagimliliklarinin ne olduguna bagli olarak iki veya daha fazla ortusen aday anahtari olan bir 3NF tablosu BCNF de olabilir veya olmayabilir BCNF yi karsilamayan bir 3NF tablosu ornegi Bugunun kort kayitlari Kort Baslangic saati Bitis saati Ucret turu1 09 30 10 30 Indirimli1 11 00 12 00 Indirimli1 14 00 15 30 Standart2 10 00 11 30 Ozel B2 11 30 13 30 Ozel B2 15 00 16 30 Ozel ATablodaki her sira bir tenis kulubundeki bir kort rezervasyonunu temsil eder Bu kulubun 1 ve 2 numarali 2 kortu vardir Bir rezervasyon kaydi bir kortun hangi saatler arasinda rezerve edildigini belirtir Ek olarak her rezervasyonun kendisiyle iliskilendirilmis bir Ucret Turu vardir Dort farkli ucret turu vardir Indirimli Standart Ozel A ve Ozel B Tablonun superanahtarlari sunlardir S 1 Kort Baslangic zamani S 2 Kort Bitis zamani S 3 Ucret turu Baslangic zamani S 4 Ucret turu Bitis zamani S 5 Kort Baslangic zamani Bitis zamani S 6 Ucret turu Baslangic zamani Bitis zamani S 7 Kort Ucret turu Baslangic zamani S 8 Kort Ucret turu Bitis zamani S T Kort Ucret turu Baslangic zamani Bitis zamani onemsiz superanahtar Yukaridaki tabloda Baslangic zamani ve Bitis zamani ozelliklerinin her biri icin yinelenen degerleri olmasa da bazi gunlerde 1 ve 2 kortta iki farkli rezervasyonun ayni anda baslayabilecegini veya sona erebilecegini kabul etmemiz gerektigi unutulmamalidir Bu Baslangic zamani ve Bitis zamani nin tablonun superanahtarlari olarak kabul edilememesinin nedenidir Bununla birlikte sadece 1 S 2S 3 S 4 olan S aday anahtarlar icin ornegin bu iliski icin en az superkeys oldugu S 1 S 5 dolayisiyla S 5 bir aday anahtar olamaz 2NF nin asal olmayan ozniteliklerin kismi islevsel bagimliliklarini yasakladigi goz onune alindiginda 3NF aday anahtarlar uzerindeki asal olmayan ozniteliklerin gecisli islevsel bagimliliklarini yasaklar Bugunun kort kayitlari tablosunda asal olmayan nitelikler yoktur yani tum ozellikler bazi aday anahtarlarina aittir Bu nedenle tablo hem 2NF hem de 3NF ye baglidir BCNF ye uymayan tasarim BCNF yi karsilamak uzere su sekilde degistirilebilir Ucret turleri Ucret turu Kort Uye miIndirimli 1 EvetStandart 1 HayirOzel A 2 EvetOzel B 2 Hayir Bugunun rezervasyonlari Uye mi Kort Baslangic saati Bitis zamaniEvet 1 09 30 10 30Evet 1 11 00 12 00Hayir 1 14 00 15 30Hayir 2 10 00 11 30Hayir 2 11 30 13 30Evet 2 15 00 16 30 Ucret turleri tablosunun aday anahtarlari sunlardir Ucret turu ve Kort Uye mi Bugunun rezervasyonlari tablosu icin aday anahtarlar Kort Baslangic zamani ve Kort Bitis zamani dir Her iki tablo da BCNF tir Ucret turu Ucret turleri tablosunda bir anahtar oldugunda iki farkli kortla iliskilendirilmis bir ucret turune sahip olmak imkansizdir bu nedenle Ucret turleri tablosunda anahtar olarak Ucret turu kullanilarak orijinal tabloyu etkileyen anormallik elenmis olur BCNF nin elde edilebilirligiBazi durumlarda BCNF olmayan bir tablo BCNF yi karsilayan ve orijinal tabloda tutulan bagimliliklari koruyan tablolara ayristirilamaz Beeri ve Bernstein 1979 da ornegin bir dizi islevsel bagimliligin AB C C B bir BCNF semasi ile temsil edilemeyecegini gosterdi Islevsel bagimliliklari AB C C B modelini takip eden asagidaki BCNF olmayan tabloda En yakin magazalar Kisi Magaza turu En yakin magazaDavidson Gozlukcu Eagle EyeDavidson Kuafor SnippetsWright Kitapci Merlin BooksFuller Firin Doughy sFuller Kuafor Sweeney Todd sFuller Gozlukcu Eagle Eye Her Kisi Magaza turu kombinasyonu icin tablo bize bu turden hangi magazanin cografi olarak o kisinin evine en yakin oldugunu gosterir Basit olmasi icin tek bir magazanin birden fazla turde olamayacagini varsayiyoruz Tablonun aday anahtarlari Kisi Magaza turu Kisi En yakin magaza Uc ozniteligin tumu asal oznitelikler oldugundan yani aday anahtarlara ait tablo 3NF icindedir Tablo BCNF de degildir Magaza turu ozelligi islevsel olarak superanahtar olmayan bir magazaya baglidir En yakin magaza BCNF nin ihlali tablonun anormalliklere tabi oldugu anlamina gelir Ornegin Eagle Eye Davidson kaydinda Magaza turu Gozlukcu olarak kalirken Fuller kaydinda Magaza turunu Optikci olarak degistirilmis olabilir Bu Eagle Eye in magaza turu nedir sorusuna celiskili cevaplar olacagi anlamina gelir Her magazanin Magaza turunu yalnizca bir kez tutmak bu tur anormalliklerin ortaya cikmasini onleyecegi icin tercih edilebilir gorunur Kisiye yakin magaza Kisi MagazaDavidson Eagle EyeDavidson SnippetsWright Merlin BooksFuller Doughy sFuller Sweeney Todd sFuller Eagle Eye Magaza Magaza Magaza tipiEagle Eye GozlukcuSnippets KuaforMerlin Books KitapciDoughy s FirinSweeney Todd s Kuafor Bu gozden gecirilmis tasarimda Kisiye yakin magaza tablosunda Kisi Magaza aday anahtari ve Magaza tablosu Magaza aday anahtarina sahiptir Ne yazik ki bu tasarim BCNF ye bagli olsa da farkli gerekcelerle kabul edilemez ayni kisiye karsi ayni turden birden fazla magazayi kaydetmemize izin veriyor Diger bir deyisle aday anahtarlari Kisi Magaza turu Magaza islevsel bagimliligina saygi duyulacagini garanti etmez Tum bu anormallikleri ortadan kaldiran ancak BCNF ye uymayan bir tasarim mumkundur Bu tasarim Temel Anahtar Normal Form olarak bilinen yeni bir normal formu sunar Bu tasarim yukarida aciklanan Magaza tablosu ile tamamlanan orijinal En yakin magazalar tablosundan olusur Bernstein in sema olusturma algoritmasi tarafindan olusturulan tablo yapisi aslinda EKNF dir ancak algoritma tasarlandigi sirada 3NF ye yapilan bu iyilestirme henuz taninmamisti En yakin magazalar Kisi Magaza tipi En yakin magazaDavidson Gozlukcu Eagle EyeDavidson Kuafor SnippetsWright Kitapci Merlin BooksFuller Firin Doughy sFuller Kuafor Sweeney Todd sFuller Gozlukcu Eagle Eye Magaza Magaza Magaza tipiEagle Eye GozlukcuSnippets KuaforMerlin Books KitapciDoughy s FirinSweeney Todd s Kuafor Ilk tablodaki Magaza turu En yakin magaza nin ikinci tablodan bir Magaza turu Magaza ya referans vermesi gerektigi etkisine yonelik bir referans butunluk kisitlamasi tanimlanirsa daha once aciklanan veri anormallikleri onlenir Ayrica bakinizBirinci normal form Ikinci normal form Ucuncu normal formKaynakca Codd E F Recent Investigations into Relational Data Base in Proc 1974 Congress Stockholm Sweden 1974 New York N Y North Holland 1974 Database System Concepts 6th McGraw Hill 2006 ss 333 ISBN 978 0 07 352332 3 Vincent M W and B Srinivasan A Note on Randi Schemes Which Are in 3NF But Not in BCNF Information Processing Letters 48 6 1993 pp 281 283 Beeri Catriel and Bernstein Philip A Computational problems related to the design of normal form relational schemas ACM Transactions on Database Systems 4 1 March 1979 p 50 Zaniolo Carlo A New Normal Form for the Design of Relational Database Schemata ACM Transactions on Database Systems 7 3 September 1982 p 493 Bernstein P A Synthesizing Third Normal Form relations from functional dependencies ACM Transactions on Database Systems 1 4 December 1976 pp 277 298 Dis baglantilarITS Texas Universitesi tarafindan