I vincoli[[Vincoli di integrità]] sono delle proprietà che devono essere soddisfatte dalle istanze che rappreentano informazioni corrette per l'applicazione. Ogni vincolo può essere visto come un predicato che associa ad ogni istanza il valore vero o falso. Se il predicato assume il valore vero diciamo che l'istanza soddifa il vincolo. In generale ad un schema di base di dati associamo un insieme di vincoli e consideramio corrette (o lecite, o ammissibili) le istanze che soddisfano tutti i vincoli.