Yazan : Şadi Evren ŞEKER

Veritabanı teorisinde bir tabloyu tek başına tanımlayamay yeterli olan kolona verilen isimdir. Daha resmi bir tanımlamayla:

1. Bir ilişkide bir aday anahtarın tekrar edildiği iki satır bulunamaz
2. 1. adımda bahsedilen anahtarın bir alt kümesi bulunmaması.

İlişkisel veri tabanında bir tablo veya tablolar arası ilişki tanımlandıktan sonra elde edilen sonuç kümesindeki kolonlardan herhangi birisi yukarıdaki şartları sağlamak şartıyla aday anahtar olabilir.

Örneğin aşağıdaki ilişkiyi ele alalım:

Yukarıdaki ilişkide bariz bir şekilde A kolonu tekrarlanmayan ve sonuçta bütün tabloyu tek başına tanımlayabilen bir değişkendir. Dolayısıyla A kolonunun aday anahtar olduğu söylenebilir. Şayet A değişkeni ilişkide bulunmasaydı:

Yukarıdaki ilişkide bütün tabloyu tek başına tanımlayan bir anahtar bulunmamaktadır. Çünkü her değişkenin farklı değeri için diğer diğer değişkenler de değişmektedir.

Yukarıdaki ilişkide aday anahtar olarak {B,C} değişkenlerinin birleşimi alınacak olursa bu durumda bir aday anahtar elde edilmiş olur, çünkü bu iki tabloyu tanımlayabilmektedir. Yani ilişkideki her farklı satırı gösteren farklı bir B,C ikilisi bulunabilir.

Yukarıdaki örneğe özel olarak {B,C}, {C,D} [!!düzeltildi, buradaki C ve D kolon ikilisi aday anahtar olmak için yetersizdir, Sayın İlksen Cosar'a teeşkkür ederim!!] ve {B,D} ikililerinin hepsi birer aday anahtar olarak kabul edilebilir.

Ancak {B,C,D} üçlüsünün bir aday anahtar olarak kabul edilmesi mümkün değildir. Çünkü bu durum aday anahtarın tanımında listelediğimiz 2. madde ile çelişir. Yani B,C,D üçlüsünün herhangi bir alt kümesinin (örneğin B,C) aday anahtar olamaması gerekmektedir.

Bu gibi daha alt aday anahtarlara bölünebilen üst anahtarlara (B,C,D gibi) super anahtar (Super key) ismi verilir.

Bu tanımdan yola çıkarak aday anahtar için en küçük süper anahtar tanımı da yapılabilir.