Restricciones de clave:
“Una relación está definida como un conjunto de tuplas. Por definición, todos los elementos de un conjunto son distintos; por tanto, todas las tuplas en una relación también deben serlo. Esto significa que dos tuplas no pueden tener la misma combinación de valores para todos sus atributos. Habitualmente existen otros subconjuntos de atributos de una relación R con la propiedad de que dos tuplas en cualquier relación r de R no deben tener la misma combinación de valores para estos atributos. Suponga que designamos uno de estos subconjuntos de atributos de SK; a continuación, para dos tuplas cualesquiera distintas tI y t2 en una relación r de R, tenemos la restricción: t¡[SK] * t2[SK] Cualquier conjunto de atributos SK recibe el nombre de superclave del esquema de relación R. Una superclave especifica una restricción de exclusividad por la que dos tuplas distintas en cualquier estado r de R pueden tener el mismo valor para SK. Cada relación tiene, al menos, una superclave predeterminada: el conjunto de todos sus atributos. Sin embargo, una superclave puede contar con atributos redundantes, por lo que un concepto más importante es el de clave, que no tiene redundancia. Una clave K de un esquema de relación R es una superclave de R con la propiedad adicional que eliminando cualquier atributo A de K deja un conjunto de atributos K' que ya no es una superclave de R. Por tanto, una clave satisface dos restricciones: 1. Dos tuplas diferentes en cualquier estado de la relación no pueden tener valores idénticos para (todos) los atributos de la clave. 2. Es una superclave mínima, es decir, una superclave de la cual no podemos eliminar ningún atributo y seguiremos teniendo almacenada la restricción de exclusividad de la condición l. La primera condición se aplica tanto a las claves como a las superclaves, mientras que la segunda sólo a las claves.”

(Elmasri & Navathe, 2007, pág. 130-131)