Documentos de Académico
Documentos de Profesional
Documentos de Cultura
- actualización de vistas
- optimización de consultas
Base de datos
Base de datos relacional Conocimiento explícito
relacional
+
Reglas Reglas
deductivas Conocimiento implícito
deductivas
Base de datos
deductiva
Sistema de Gestión
de Bases de Datos
Hechos Relacionales
+
Reglas + Usuario
Sistema de Inferencia
Base de datos
deductiva Sistema de gestión
de bases de
datos deductivas
Departamento de Sistemas Informáticos y Computación / Universidad Politécnica de Valencia 6
2. Bases de datos deductivas
ESQUEMA BASE DE DATOS
Ri
Relaciones básicas: Relaciones básicas:
Ri (Ai1: Di1, Ai2: Di2 , ..., Aini: Dini) Ri Í (Di1 x Di2 x ... x Din )
i
(1 ≤ i ≤ k) (k restricciones de integridad)
Esquema
Departamento de Sistemas Informáticos y Computación / Universidad Politécnica de Valencia 8
2. Bases de datos deductivas
PIEZA PROV
BDD
:
PRECIOS COMP
Reglas deductivas:
BASE DE DATOS
PRECIOS3 PRECIOS_EXT COMPONENTE
Limitaciones en la definición
Definición de vistas
de vistas recursivas
Actualización Limitaciones en la
actualización de las vistas
PROBLEMAS:
Formalización
...
Hechos
Esquema de BDD:
:
Semántica declarativa: conocimiento en la BDD
Semántica operacional: procedimiento para obtener el
conocimiento
componente ( pz8,w)
2 3
PRECIOS_EXT
PRECIOS
PROV
T1={borrar (PROV (pv1,Juan,1))}
T2={borrar (PIEZA (pz3,tuerca,11),
borrar (PIEZA (pz8,arandela,8))}
T3={borrar (PRECIOS (pv1,pz3,10),
borrar (PRECIOS (pv1,pz8,20))}
prov(pv1,Juan,1) T1 x1 / Juan
pieza(pz3,tuerca,11) pieza(pz8,arandela,8)
precios(pv1,pz3.10) precios(pv1,pz8,20)
T3 x4/ 10 T3 x4/ 20
p(1)
1) {w(1), v(1)} Í BDE
2) {q(1), s(1)} Í BDE y {r(1)} BDE
w(1) v(1) q(1) t(1) 3) {p(1)} Í BDE
4) {q(1), t(1)} Í BDE
En el Ejemplo 1:
un m é todo que obtuviese la soluci ó n en tiempo de
ejecuci ó n estudiar í a el á rbol de derivaci ó n de la
actualización p(1) para encontrar una solución.
un método que trabajase en tiempo de definición del
esquema estudiar í a el requisito gen é rico p(x) para
obtener soluciones que luego se instanciarían en tiempo
de ejecución.
Una solución sencilla a este problema consiste en utilizar el valor nulo para la
variable de la que se desconoce el valor o bien un valor cualquiera proporcionado
por el usuario o extraído sin criterio de la base de datos. Aunque en ocasiones
esta solución es la única posible, en otras se puede elegir un valor tal que la
transacción obtenida sea más sencilla.
3) Recursividad.
La presencia de reglas recursivas en la base de datos puede
complicar la generación de la transacción, ya que el árbol de
derivación puede ser infinito para un determinado requisito de
actualizaci ó n, lo que supone la existencia de infinitas
transacciones posibles para satisfacerlo.
Actualización: U = p(1,1).
s(1,2) s(1,2)
T1 no es una solución
correcta porque induce 2 2 resolución
resolución
la inserción de s(1,2)
que se había asumido q(1,2) q(1,2)
falsa en la construcción
de la solución. q(1,2) resolución
T1 no es una solución
correcta porque el estado
T1(BDD) viola la
restricción de integridad W
D0 T1 D1 Ti Di Tn Dn Evolución de una BD
D T D’
Si D es un estado íntegro
entonces
D’ satisface W si y sólo si D’ satisface w t (prov (pv11,w,t) )
Reglas deductivas:
COMPONENTE
COMPONENTE (x, y)COMP (x,z) ÙCOMPONENTE (z, y)
COMPONENTE (x, y)COMP (x, y)
COMP
D’
inserciones
inducidas
Restricción de integridad:
insertar ( COMPONENTE(pz8,pz1) )
1) Concepto de satisfacción
2) Corrección y completitud de un método
2) Fases en la comprobación simplificada de la integridad
1) Concepto de satisfacción:
a) Punto de vista de la demostración:
D satisface W sii Tr |= W.
b) Punto de vista de la consistencia:
D satisface W sii Tr {W} es consistente.
El concepto de violación se define en términos del concepto de
satisfacción:
D viola W sii no (D satisface W).
Diremos que un estado D es íntegro si, para toda restricción W
perteneciente a RI, D satisface W.
Comprobación de la integridad:
FASE I: Fase de Generación
Paso 1: Cálculo del conjuntos de literales que “representan” la diferencia
entre los estados consecutivos D y D'.
Paso 2: Identificación de las restricciones relevantes.
Paso 3: Instanciación de las restricciones relevantes.
Paso 4: Simplificación de las instancias de las restricciones relevantes.
FASE II: Fase de Evaluación
Paso 5: Comprobación en D' de las instancias simplificadas de las
restricciones relevantes.
Departamento de Sistemas Informáticos y Computación / Universidad Politécnica de Valencia 53
3.2 Comprobación de la integridad
3) Fases en la comprobación simplificada de la integridad
Ejemplo 2:
W1 = x y ( q(x,y) q(y,x) )
W2 = x ( s(x) p(x) )
Paso 3 Paso 4
Departamento de Sistemas Informáticos y Computación / Universidad Politécnica de Valencia 57
3.2 Comprobación de la integridad
3) Fases en la comprobación simplificada de la integridad
Hipótesis: D es íntegro.
Comprobación de la integridad:
FASE I: Fase de Generación s
o n e
i z a ci“representan”
m u y
Paso 1: Cálculo del conjuntos de literales
u a l que
s e r l o la diferencia
entre los estados consecutivos D yaD'. s act uede s . S ó
e l n p o s a
Paso 2: Identificaciónlc deu o drestricciones
llas a c c ió urelevantes.
l m in
r á n
l cá r a n s s v o s s e
1 : E t t
lalas restricciones
a o o n e
Paso 3: Instanciación
o o r
de e d c i relevantes.
Pas cidas p ase d tualiza d.
Paso 4: in du o en bde tlas
Simplificación
a s a c
instancias
eg r i d a las restricciones relevantes.
de
to s e s i n t
os as de r a l a
FASE II: Fase decEvaluación
l g u n
e s pa
Paso 5: a
Comprobación a nt en D' de las instancias simplificadas de las
l e v
re
restricciones relevantes.
Departamento de Sistemas Informáticos y Computación / Universidad Politécnica de Valencia 58
3.2 Comprobación de la integridad
3) Fases en la comprobación simplificada de la integridad
Hipótesis: D es íntegro.
Paso 3 Paso 4
Departamento de Sistemas Informáticos y Computación / Universidad Politécnica de Valencia 61
Fase de Generación Potencial
Paso 3: Instanciación de las restricciones relevantes
Paso 4: Simplificación de las instancias de las restricciones relevantes
Si la extensión de q es
grande los borrados
sobre p inducidos por T
pueden ser muchos.
Comprobación
D’’ RI
T’ = T’ins T’del
Restauración NO SI
de la
D‘’ = (D’T’ins) \ T’del) consistencia D’
Tr (D’’) |= U
D’’ satisface W (W RI)