Vincoli d'integrità
Viene introdotto il vincolo d'integrità, come proprietà che deve essere soddisfatta dalle istanze che rappresentano informazioni corrette per l'applicazione.
Un vincolo è un predicato che associa ad ogni istanza il vero o il falso (boolean).
A uno schema di base di dati associamo un insieme di vincoli e consideriamo corrette (lecite) le istanze che soddisfano tutti i vincoli.
Esistono due tipi di vincoli:
- Intrarelazionali:
- Vincoli di tupla.
- Vincoli su valori (di dominio).
- Vincoli di chiave.
- Interrelazionali: