Integridad referencial

La integridad referencial es una propiedad de los datos que establece que todas sus referencias son válidas. En el contexto de las bases de datos relacionales , requiere que si un valor de un atributo (columna) de una relación (tabla) hace referencia a un valor de otro atributo (ya sea en la misma relación o en una diferente), entonces el valor referenciado debe existir. ^{[ 1 ]}

Para que se mantenga la integridad referencial en una base de datos relacional, cualquier columna en una tabla base que se declare como clave externa solo puede contener valores nulos o valores de la clave primaria de una tabla padre o una clave candidata . ^{[ 2 ]} En otras palabras, cuando se usa un valor de clave externa, este debe hacer referencia a una clave primaria válida y existente en la tabla padre. Por ejemplo, eliminar un registro que contiene un valor al que hace referencia una clave externa en otra tabla rompería la integridad referencial. Algunos sistemas de gestión de bases de datos relacionales (RDBMS) pueden imponer la integridad referencial, normalmente eliminando también las filas de la clave externa para mantener la integridad, o devolviendo un error y no realizando la eliminación. El método que se utilice puede estar determinado por una restricción de integridad referencial definida en un diccionario de datos .

El adjetivo «referencial» describe la acción que realiza una clave externa , que hace referencia a una columna vinculada en otra tabla. En términos sencillos, la «integridad referencial» garantiza que se encontrará el elemento al que se hace referencia. La falta de integridad referencial en una base de datos puede provocar que las bases de datos relacionales devuelvan datos incompletos, generalmente sin ninguna indicación de error.

Una dependencia de inclusión sobre dos predicados (posiblemente idénticos)${\displaystyle R}$y${\displaystyle S}$a partir de un esquema se escribe${\displaystyle R[A_{1},...,A_{n}]\subseteq S[B_{1},...,B_{n}]}$, donde el${\displaystyle A_{i}}$,${\displaystyle B_{i}}$son atributos distintos (nombres de columna) de${\displaystyle R}$y${\displaystyle S}$. Esto implica que las tuplas de valores que aparecen en las columnas${\displaystyle A_{1},...,A_{n}}$para hechos de${\displaystyle R}$También debe aparecer como una tupla de valores en columnas.${\displaystyle B_{1},...,B_{n}}$por algún hecho de${\displaystyle S}$.

Dicha restricción es una forma particular de dependencia generadora de tuplas (TGD) donde en ambos lados de la regla hay solo un átomo relacional. ^{[ 3 ]} En lógica de primer orden se puede expresar como${\displaystyle \forall {\vec {x}},{\vec {y}}.(R({\vec {x}},{\vec {y}})\rightarrow \exists {\vec {z}}.S({\vec {x}},{\vec {z}}))}$, dónde${\displaystyle {\vec {x}}}$es el vector (cuyo tamaño es${\displaystyle n}$) de variables compartidas por${\displaystyle R}$y${\displaystyle S}$y ninguna variable aparece varias veces ni en el cuerpo del TGD ni en su cabeza.

La implicación lógica entre dependencias de inclusión puede axiomatizarse mediante reglas de inferencia ^{[ 4 ] : ​​193} y puede resolverse mediante un algoritmo PSPACE . Se puede demostrar que el problema es PSPACE-completo mediante reducción al problema de aceptación para un autómata lineal acotado ^{[ 4 ] : ​​196.} Sin embargo, la implicación lógica entre dependencias que pueden ser de inclusión o funcionales es indecidible mediante reducción al problema de la palabra para monoides ^{[ 4 ] : ​​199} .

La integridad referencial declarativa (DRI) es una de las técnicas del lenguaje de programación de bases de datos SQL para garantizar la integridad de los datos.

• Desreferenciación de puntero nulo
• Puntero colgante
• Integridad de los datos
• Dominio/clave forma normal
• Integridad de la entidad
• Dependencia funcional
• Restricción de propagación
• Llave sustituta
• Dimensión que cambia lentamente

• DRI frente a desencadenantes ( archivado )