Specifica di vincoli di ennupla (e anche vincoli più complessi): check (Condizione)
Specifica vincoli a livello di schema: create assertion NomeAss check (Condizione)
create view NomeVista [(ListaAttributi)] as SelectSQL [with [local|cascaded] check option]
Ammessi (di solito) solo su viste definite su una sola relazione
Alcune verifiche possono essere imposte
check option permette modifiche, ma solo a condizione che la ennupla continui ad appartenere alla vista
La nidificazione nella having non è ammessa