Integrità intra-relazione

Le regole di integrità intra-relazione sono i controlli da effettuare sulla tupla nel momento in cui viene inserita nel database rispetto alle altre tuple già presenti.

Ogni applicazione può richiedere dei controlli particolari legati al significato dei dati memorizzati, dal punto di vista generico possiamo riconoscere due regole di integrità fondamentali per ogni archivio: univocità della chiave primaria e non modificabilità della stessa.

La chiave primaria deve essere univoca perchè sia realizzata la visione orientata al valore e quindi possano funzionare correttamente le regole dell’algebra relazionale. Purtroppo i sistemi commerciali di database spesso non implementano in modo automatico questo tipo di controllo, ma lo demandano alle applicazioni.

La chiave primaria non deve essere modificabile. Dopo aver inserito una tupla all’interno di un database, ogni altra tabella può creare dei riferimenti alla tupla stessa copiando il valore della chiave primaria in un proprio campo (chiave esterna, come abbiamo visto nel paragrafo sulla traduzione del modello E-R in un database).

Se la chiave primaria viene variata, si perdono tutti i riferimenti che a priori non sappiamo neppure in quali tabelle siano stati introdotti.