Relación PADRE

Anuncio
• 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!
Descargar