Integritat referencial

La integritat referencial és propietat de la base de senyes. La mateixa significa que la clau externa d'una taula de referència sempre deu aludir a una fila vàlida de la taula a la que es faça referència. L'integritat referencial garantisa que la relació entre dos taules permaneixca sincronisada durant les operacions d'actualisació i eliminació.

Totes les bases de senyes relacionals gogen d'esta propietat gràcies a que el software gestor de base de senyes vela pel seu compliment. En canvi, les bases de senyes jeràrquiques requerixen que els programadorés s'asseguren de mantindre tal propietat en les seues programes.

Eixemple: Cóm funciona

Supongam una base de senyes en les entitats Persona i Factura. Tota factura correspon a una persona i solament una. Implica que en tot moment dits senyes siguen correctes, sense repeticions innecessàries, senyes perdudes i relacions mal resoltes.

Supongam que una persona s'identifica pel seu atribut DNI (Document Nacional d'Identitat). També tindrà atres atributs com el nom i la direcció. L'entitat Factura deu tindre un atribut DNI_client que identifique a quí pertany la factura.

Per sentit comú és evident que tot valor de DNI_client deu correspondre en algun valor existent de l'atribut DNI de l'entitat Persona. Esta és l'idea intuïtiva de l'integritat referencial.

Existixen tres tipos d'integritat referencial:

1. Integritat referencial dèbil: si en una tupla de R tots els valors dels atributs de K tenen un valor que no és el nul, llavors deu existir una tupla en S que prenga eixos mateixos valors en els atributs de J;
2. Integritat referencial parcial: si en una tupla de R algun atribut de K pren el valor nul, llavors deu existir una tupla en S que prenga en els atributs de J els mateixos valors que els atributs de K en valor no nul; i
3. Integritat referencial completa: en una tupla de R tots els atributs de K deuen tindre el valor nul o ben tots tenen un valor que no és el nul i llavors deu existir una tupla en S que prenga en els atributs de J els mateixos valors que prenen els de K.

L'integritat referencial en joc

Quan es crea una nova instància de Factura, l'integritat referencial exigix que l'atribut DNI_client coincidixca en l'atribut DNI d'alguna instància de l'entitat Persona. En cas contrari, no es permet l'operació.

Quan s'intenta eliminar una instància de Persona, l'integritat referencial exigix que no existixca cap factura associada, és dir, es comprova que no existix cap instància de Factura l'atribut de la qual DNI_client coincidixca en l'atribut DNI de l'instància a borrar. En cas contrari, no es permet l'operació.