• Concepto Bases de Datos Deductivas Reglas deductivas Hechos Reglas de Inferencia • Métodos para combinar reglas: – Encadenamiento hacia delante (forward chaining) – Encadenamiento hacia atrás (backward chaining) Reglas de Inferencia • Interpretación de las reglas – Teoría de demostraciones – Teoría de modelos ¾Enfoque alternativo D Interpretación computacional Relación PADRE PADRE HIJO Antonio Juan J. María Dolores Juan Pedro Pedro Jesús • Definición de ASCENDIENTE – Todo padre es ASCENDIENTE – Una persona X es ASCENDIENTE de una persona Y si existe un Z tal que sea X padre de Z y Z sea ascendiente de Y. • Definición de las reglas deductivas en DATALOG – ASCENDIENTE(X, Y) :- PADRE (X, Y). – ASCENDIENTE(X, Y) :- PADRE (X, Z), ASCENDIENTE(Z, Y). Relación ASCENDIENTE ASCENDIENTE DESCENDIENTE Antonio J.María Juan Pedro Antonio Antonio Juan Juan Dolores Pedro Jesús Pedro Jesús Jesús DEFINICIÓN de la VISTA en SQL asociada al concepto ABUELO CREATE VIEW ABUELODE (ABUELO, NIETO) AS SELECT P1.PADRE, P2.HIJO FROM PADRE P1, PADRE P2 WHERE P1.HIJO = P2.HIJO; • Otros Lenguajes Declarativos 1. Sistema LDL 2. Sistema CORAL 3. NAIL!