Resumen de Una alternativa eficiente para evaluación de restricciones de integridad en bases de datos lógicas
El garantizar que un conjunto de restricciones sea satisfecho por una Base de Datos Lógica en todo momento obliga a que cada vez que se hagan Modificaciones, deba chequearse que ésta satisfaga las restricciones. La solución debe minimizar el cómputo aprovechando el supuesto de integridad (la base de datos ante [sic] de cualquier modificación está en un estado consistente con las restricciones), y evaluando sólo las restricciones que son relevantes a la modificación. Nuestra solución se basa en la consideración del conjunto de Restricciones de Integridad como la definición de un predicado especial "contradicción" y la generación incremental del modelo de la base de datos. Para lo cual definimos una transformación sintáctica de la Base de Datos Lógica, llamada la Completación de Horn, que elimina el uso del Operador de Negación implícita. Esta transformación aplica a Bases de Datos Lógicas jerarquizada, lo cual resuelve la mayoría de los casos prácticos.
