Considere la siguiente tabla:
FirstName LastName Pet FavColour
-----------------------------------
Alice Jones dog red
Alice Smith dog green
Bob Smith cat blue
Una clave es cualquier conjunto de atributos: cualquier subconjunto de {FirstName, LastName, Pet, FavColour}. La propiedad de unicidad dice que no hay dos registros que puedan tener los mismos valores para los atributos en una clave. Entonces, por ejemplo, {FavColour} es una clave que tiene la propiedad de unicidad: no hay dos registros que tengan el mismo valor. {Nombre, Apellido} también es único: no hay dos registros que tengan el mismo nombre y apellido. {Pet}, por otro lado, no es único, ya que los registros primero y segundo tienen el mismo valor para ese atributo.
Ahora, {FirstName, LastName, Pet, FavColour} también es una clave única: no hay dos registros que tengan el mismo valor para todos los atributos. Pero esa es una especie de llave tonta, ¿verdad? La irreductibilidad dice que, si elimina cualquiera de los atributos de su clave, deja de ser único. Por lo tanto, {Nombre, Apellido, Mascota, FavColour} no es irreducible porque, si elimina FavColour, obtiene la clave {Nombre, Apellido, Mascota}, que todavía tiene unicidad. Y eso no es irreducible porque puedes tirar Pet y obtener {FirstName, LastName}, que aún es único. Sin embargo, {Nombre, Apellido} es irreducible porque ni {Nombre} ni {Apellido} son únicos: hay dos personas con el mismo nombre y dos personas con el mismo apellido.