Tablas con restricciones de aserción

El modelo relacional presenta una serie de restricciones o reglas (alguna de estas cuestiones las heos visto ya y otras no, pero aquí quedan ordenadas).
Estas restricciones son importantes para que los datos sean correctos.

Restricciones generales:
Ausencia de tuplas (registros) repetidas (no hay dos tuplas iguales)
Irrelevancia del orden de las tuplas (registros)
Irrelevancia del orden de los atributos (campos)
Cada atributo solo puede tomar un único valor del dominio al que pertenece.
Restricciones de Integridad de clave:
Es una restricción que exige que todos los atributos de la clave primaria ( PRIMARY KEY) y por ello las claves candidatas han de contener valores no nulos (NOT NULL) y distintos entre sí (UNIQUE) para diferentes registros.
Debe existir clave primaria (conviene).
Restricciones de Integridad referencial:
Consiste en que no puede haber un valor en una clave ajena (FOREIGN KEY) de una tabla, si antes no existe en la clave primaria de la que ese campo o conjunto de campos formen la clave.
Se permiten valores nulos en las claves ajenas.

Restricciones de Integridad de usuario:
Dependen de cada problema en concreto, por ejemplo:
Pueden ser las condiciones impuestas en la definición de los dominios de un campo.
Pueden ser las condiciones impuestas a un campo en función del valor de otro.

Restricciones de verificación (CHECK):
Comprueban en una actualización si se cumplen o no las condiciones exigidas en una restricción de las anteriores antes de realizar la actualización.

Restricciones de Aserción (ASSERTION):
Se dan cuando una actualización afecta a varias relaciones o tablas. En este caso la restricción de verificación se llama aserción. Regla de validación…

Existe un tipo de restricción llamada Disparadores (TRIGGER):
Son acciones o métodos según la terminología orientada a objetos, que ejecuta un objeto, como respuesta a un evento o acción que se realiza sobre él, cuando se cumple una determinada condición.