Documente Academic
Documente Profesional
Documente Cultură
DEDUCTIVAS
INDICE
1.¿Que es una base de datos deductiva?
2.Lenguajes declarativos
3.Prolog/Datalog
5.Conclusiones
Bases De Datos Deductivas
2.Lenguajes declarativos
3.Prolog/Datalog
Relaciones unarias:
Juan y Jorge fuman => fumadores (Juan, Jorge)
b1 b2 b3 b4
c1 c2 c3 c4 c5
d1 d2 d3 d4
Relaciones unarias:
fumador = {b3, b4, d2}; enfermo = {b3, b4, c3, c4, c5, d2, d3, d4};
barbudo = {a3, b3, b4, c1, c2, c4, d1, d2}
Relación binaria:
padre_de = {(a1,b1), (a1,b2), (a2,b1), (a2,b2), (a3,b3), (a3,b4), (a4,b3), (a4,b4), b1,c1),
(b1,c2), (b2,c3), (b3,c3), (b4,c4), (b4,c5), (c1,d1), (c2,d1),(c2,d2), (c4,d2), (c4,d3), (c5,d4)}
Bases De Datos Deductivas
Predicados aritméticos:
enfermo(X):- fumador(X).
enfermo(X):- padre_de(X,Y), enfermo(Y).
cura(medicamento, enfermedad) :-
síntomas(sintoma, enfermedad),
alivia(medicamento, sintoma).
Bases De Datos Deductivas
ej:
ascendente(X,Y) :- progenitor(X,Y).
ascendente(X,Y) :- progenitor(X,Z), ascendente(Z,Y).
Bases De Datos Deductivas
1 superior(X,Y):-supervisar(X,Y). (regla 1)
2 superior(X,Y):-supervisar(X,Z),superior(Z,Y). (regla 2)
3 supervisar(jazmín,ahmed). (axioma base,dado)
4 supervisar(jaime,jazmín). (axioma base,dado)
5 superior(jazmín,ahmed). (aplicar 1 a 3)
6 superior(jaime,ahmed):-
supervisar(jaime,jazmín),superior(jazmín,ahmed).
(aplicar 2 a 4 y 5)
Bases De Datos Deductivas
Hacia adelante
Hacia adelante Hacia atras
Bases De Datos Deductivas
4) rufián(bertoldo).
5) rufián(bartolo).
6) noble(romeo).
7) noble(bertoldo)
8) plebeyo(bartolo).
9) princesa(gertrudis).
10) princesa(julieta).
11) guapa(julieta).
Bases De Datos Deductivas
Consulta: ?-rapta(bartolo,Y)
Bases De Datos Deductivas
6) rufián(bertoldo).
7) rufián(bartolo).
8) noble(romeo).
9) noble(bertoldo)
10) plebeyo(bartolo).
11) princesa(gertrudis).
12) princesa(julieta).
13) guapa(julieta).
Bases De Datos Deductivas
1)adinerado(romeo)
2)adinerado(bertoldo)
3)adinerado(bartolo)
Probar: ?- adinerado(X),noble(X).
Superior(jaime,pedro)? ;
resp=>true o false.
Bases De Datos Deductivas
Superior(jaime,Y)? ;
resp=> Superior(jaime,pedro);
resp=> Superior(jaime,antonio);
resp=> Superior(jaime,maria);
acceso concurrente
gestión de transacciones
paralelismo a varios niveles
resolución de predicados descendente.
Bases De Datos Deductivas
5.Conclusiones
1. las bases de datos deductivas son bases de datos a las
que aplicamos la programación lógica.(aunque esta en
una etapa experimental).