Imformatica

deducciones es el DBMS, no la base de datos. La interpretaci´on por la teor´ıade demostraciones ofrece un enfoque por procedimientos o computacional paracalcular una respuesta a la consulta Datalog.Al proceso de demostrar si un de-terminado hecho (teorema) se cumple se le conoce tambi´en como demostraci´onde teoremas.El segundo tipo de demostraci´on se llama interpretaci´on por la teor´ıademodelos. Aqu´ı, dado un dominio finito o infinito de valores constantes, se leasigna a un predicado todas las combinaciones posibles de valores como argu-mentos. Despu´es se debe determinar si el predicadoes verdadero o falso. Engeneral, basta con especificar las combinaciones de argumentos que hacen queel predicado sea verdadero, y decir que todas las dem´as combinaciones hacenque sean falso. Si estose hace con todos los predicados, se habla de una inter-pretaci´on del conjunto de predicados.A una interpretaci´on se le llama modelo para un conjunto espec´ıfico de re-glas si esas reglas siempre secumplen en esa interpretaci´on; es decir, para cua-lesquiera valores que se asignen a las variables de las reglas, la cabeza de reglases verdadera cuando sustituimos los valores de verdad asignados alos predica-dos en el cuerpo de las reglas seg´un esa interpretaci´on. De este modo, siempreque se aplica una sustituci´on (enlace) a las variables de las reglas, si todos lospredicados del cuerpo deun arreglo son verdaderos en esa interpretaci´on, elpredicado de la cabeza de la regla tambi´en debe ser verdadero. Cabe se˜nalarque una regla se viola si un determinado enlace de constantes en a lasvariableshace verdaderos todos los predicados del cuerpo de la regla, pero hace que elpredicado de la cabeza de la regla sea falso.
8. Seguridad de los programas en Datalog en lasBDD
Se dice que unprograma o una regla es seguro se genera un conjunto finitode hechos. El problema te´orico de determinar si un conjunto de reglas es o noseguro es indecidible. Sin embargo, es posible determinar la...