En bases de datos de relación, un mecanismo que garantice, en un contexto determinado, sólo un objeto está asociado con cada fila de la base de datos.