Documentos de Académico
Documentos de Profesional
Documentos de Cultura
pag 4 Cundo nacieron las Bases de Datos?............................................pag 4 Bases de Datos Deductivas....................................................................pag 5 Qu son las Bases de Datos Deductivas?........................................pag 5 Cmo funcionan las BD DEDUCTIVAS?........................................pag 5 Caractersticas Principales de las Bases de Datos Deductivas........pag 6 Ventajas y Desventajas del uso de las BDD......................................pag 6 Relaciones y Esquema de una BDD..................................................pag 7 Relaciones Bsicas...................................................................pag 7 Relaciones Derivadas...............................................................pag 8 Restriccin de Integridad.........................................................pag 8 Esquema...................................................................................pag 9 Reglas Deductivas....................................................................pag 9 Inferencia...............................................................................................pag 9 Inferencias de Bases de Datos...........................................................pag 9 Sistema de Inferencia.........................................................................pag 10 Tipos de Inferencias...........................................................................pag 10 Interpretacin de Reglas........................................................................pag 11 Mecanismos de Inferencia.....................................................................pag 11 Funciones de los Mecanismos de Inferencia.....................................pag 12 Tipos de Mecanismos de Inferencia...................................................pag 12 Mecanismo de inferencia ascendente.......................................pag 12 Mecanismo de inferencia descendente.....................................pag 12 CONCLUSIN........................................................................................pag 14 ANEXO....................................................................................................pag 15 Bases de Datos..................................................................................pag 15 Akinator.com......................................................................................pag 15 Hetos..................................................................................................pag 15 BIBLIOGRAFA......................................................................................pag 16
NDICE DE GRFICOS
Esquema general de una Base de Datos...............................................................................pag 1 Funcionamiento elemental de una BD Deductiva................................................................pag 6 Relaciones BDD...................................................................................................................pag 7 Esquema de una BDD..........................................................................................................pag 9 Esquema de funcionamiento de los Mecanismos de inferencia...........................................pag 13 Akinator, el genio.................................................................................................................pag 15
INTRODUCCIN
El inters hacia las Bases de Datos Deductivas se incrementa de acuerdo a cmo se ampla su campo de aplicacin. Los estudios relativos a estos sistemas comenzaron a realizarse aos atrs, inspirndose principalmente en las tcnicas desarrolladas en Inteligencia Artificial referente a los sistemas Pregunta - Respuesta, y se adaptaron a las limitaciones particulares de las Bases de Datos. Un Sistema de Gestin de Bases de Datos deductivo es aquel que permite el origen nuevas informaciones a partir de las que un usuario introdujo explcitamente en la Base. Este manipula la perspectiva segn la teora de las demostraciones de una base de datos, y especficamente, es capaz de deducir hechos a partir de la base de datos extensional, es decir, las relaciones base, aplicando a esos hechos axiomas deductivos o reglas de inferencias especificados. Esta funcin deductiva se lleva a cabo a travs de la adecuada explotacin de ciertos conocimientos generales relativos a las informaciones de la Base. Esto se realiza aplicando mecanismos de inferencia basados en las especificaciones de las reglas, procedimientos computacionales que proveen una interpretacin computacional del significado de las reglas. Con el presente informe se busca profundizar en el tema, en busca de importancia, caractersticas, ventajas, desventajas, usos de los Mecanismos de Inferencia, partiendo desde conceptos bsicos relacionados.
DESARROLLO
BASES DE DATOS Qu es una Base de Datos?
Se puede definir a una Base de Datos como un conjunto exhaustivo no redundante de datos estructurados y organizados independientemente de su utilizacin y su implementacin en computadoras accesibles en tiempo real y compatibles con usuarios concurrentes con necesidad de informacin diferente y no predicable en tiempo.
SEGUNDA GENERACION (1960, Mediados de 1970) Sistema de bases de datos Jerrquico. IMS (Information Managenment System). Aparecimiento TOTAL. TERCERA GENERACION (Mediados 1970) Surgimiento de bases de datos relacionales. Sistemas Comerciales: Sistema R, SQL, SQL/DS, DB2, ORACLE, IDM, RTI. INGRES, IDM (Intelligent Database Maching). UNIFY, INFORMIX, SUPRA. CUARTA GENERACION Modelos Semnticos. Ciertos tipos de inferencia, integran a los sistemas de almacenamiento de datos. Modelos Orientados a Objetos. Objeto y versiones de objetos, consulta de ciertos datos. Bases de datos Deductivas. Bases de Datos no convencionales: CAD/CAM. CASE. DIMS( Sistema de manejo de Imgenes de Documentos). GIS (Sistemas de Informacin Geogrficos).
Reglas: se asemejan a las vistas relacionales. Especifican relaciones virtuales que no estn almacenadas realmente, pero que se pueden formar a partir de los hechos aplicando mecanismos de inferencia basados en las especificaciones de las reglas. La principal diferencia entre las reglas y las vistas es que en las primeras puede haber recursividad y por tanto pueden producir vistas que no es posible definir en trminos de las vistas relacionales estndar.
Tener la capacidad de expresar consultas por medio de reglas lgicas. Permitir consultas recursivas y algoritmos eficientes para su evaluacin. Contar con negaciones estratificadas. Soportar objetos y conjuntos complejos. que garanticen la traduccin de
Como caracterstica fundamental de una Base de Datos Deductiva es la posibilidad de inferir informacin a partir de los datos almacenados, es imperativo modelar la base de datos como un conjunto de frmulas lgicas, las cuales permiten inferir otras frmulas nuevas.
Relaciones BDD. Relaciones bsicas: PIEZA (codpieza: D1, desc: D2, peso: D3) CP = {codpieza} Informe Final Base de Datos II. A.P.U. 2011 7
PROV (codprov: D4, nombre: D5, zona: D6) CP = {codprov} PRECIOS (codprov: D4, codpieza: D1, precio: D7) CP = {codprov, codpieza} CAj = {codprov} PROV CAj = {codpieza} PIEZA COMP (pieza1: D1, pieza2: D1) CP = {pieza1, pieza2} CAj = {pieza1} PIEZA CAj = {pieza2} PIEZA Relaciones derivadas: PRECIOS3 (codprov: D4, codpieza: D1, precio: D7) CP = {codprov, codpieza} CAj = {codprov} PROV CAj = {codpieza} PIEZA PRECIOS_EXT (codprov: D4, nombre: D5, codpieza: D1, desc: D2, precio: D7) CP = {codprov, codpieza} CAj = {codprov} PROV CAj = {codpieza} PIEZA COMPONENTE (pieza1: D1, pieza2: D1) CP = {pieza1, pieza2} CAj = {pieza1} PIEZA CAj = {pieza2} PIEZA Restricciones de integridad: Para todo x y ( COMPONENTE (x,y) COMPONENTE (y,x) ) Informe Final Base de Datos II. A.P.U. 2011 8
Esquema
Esquema de una BDD Reglas deductivas: 1 precios3 (x, y,z) Para un z precios (x, y, z) ^ prov (x, w, 3) ) 2 componente (x, y) Para un z (comp (x, z) ^ componente (z, y) ) 3 componente (x, y) comp (x, y) 4 precios_ext (x,n,y,d,p) Para un zz ( prov (x, n,z) ^ pieza (y, d,w) ^ precios (x, y, p) )
Inferencias
Una inferencia es una deduccin o conclusin a la que se llega a partir de algo que se sabe que es cierto o falso.
Sistema de inferencia
En Datalog no existen instrucciones de control. Su ejecucin se basa en dos conceptos: la unificacin y el backtracking. Gracias a la unificacin, cada objetivo determina un subconjunto de clusulas susceptibles de ser ejecutadas. Cada una de ellas se denomina punto de eleccin. Datalog selecciona el primer punto de eleccin y sigue ejecutando el programa hasta determinar si el objetivo es verdadero o falso. En caso de ser falso entra en juego el backtracking, que consiste en deshacer todo lo ejecutado situando el programa en el mismo estado en el que estaba justo antes de llegar al punto de eleccin. Entonces se toma el siguiente punto de eleccin que estaba pendiente y se repite de nuevo el proceso. Todos los objetivos terminan su ejecucin bien en xito ("verdadero"), bien en fracaso ("falso").
Tipos de inferencias
Inferencias inmediatas: Coinciden con la relaciones primitivas y expresamente codificadas en las entradas. Inferencias no inmediatas: Necesitan de los mecanismos descritos para recorrer ms de una rama o arco en el rbol meronmico (o hiponmico). Inferencias mediante lnea directa: Los mecanismos slo utilizan una relacin (hiponimia, meronimia) y en su uso restringido, slo un tipo o subtipo de esa relacin. Es el caso de la iteracin. Inferencias mediante lnea no directa: Los mecanismos utilizan ms de una relacin (hiponimia y meronimia), aunque en su uso restringido, slo un tipo o subtipo de esas relaciones. Es el caso de la herencia inversa. Inferencia de conexin: Proporciona una relacin derivada nueva de dos elementos en un mismo contexto oracional. Inferencia de determinacin de denotacin: Proporciona la determinacin de una detonacin no determinada mediante la conexin a un significado por medio de una relacin derivada.
10
Interpretacin de reglas:
Existen dos alternativas principales para interpretar el significado terico de las reglas: por la teora de demostracin y por la teora de modelos. En los sistemas prcticos, el mecanismo de inferencia que tiene el sistema define la interpretacin exacta, que pudiera no coincidir con ninguna de las dos interpretaciones tericas. El mecanismo de inferencia es un procedimiento computacional y por tanto provee una interpretacin computacional del significado de las reglas. Una interpretacin es llamada interpretacin de reglas por la teora de demostraciones. En ella se considerarn los hechos y las reglas como enunciados verdades o axiomas. Los axiomas base no contienen variables. Los hechos de una base de datos deductiva son axiomas base que se dan por ciertos. Las reglas de la base se llaman axiomas deductivos, ya que pueden servir para deducir hechos nuevos. Con los axiomas deductivos se pueden construir demostraciones que deriven hechos nuevos a partir de los ya existentes. Los axiomas deductivos, junto con las restricciones de integridad constituyen lo que en ocasiones se denomina base de datos intencional, y la base de datos extensional (los hechos) junto con la intencional constituyen lo llamamos Base de Datos Deductivas. La interpretacin por la teora de demostraciones ofrece un enfoque por procedimientos o computacional para calcular una respuesta a la consulta Datalog (1). Al proceso de demostrar si un determinado hecho (teorema) se cumple se le conoce tambin como demostracin de teoremas. El segundo tipo de demostracin se llama interpretacin por la teora de modelos. En el que, dado un dominio finito o infinito de valores constantes, se le asigna a un predicado todas las combinaciones posibles de valores como argumentos. Despus se debe determinar si el predicado es verdadero o falso. En general, basta con especificar las combinaciones de argumentos que hacen que el predicado sea verdadero, y decir que todas las dems combinaciones hacen que sea falso. Si esto se hace con todos los predicados, se habla de una interpretacin del conjunto de predicados. A una interpretacin se le llama modelo para un conjunto especfico de reglas si esas reglas siempre se cumplen en esa interpretacin; es decir, para todos los valores que se asignen a las variables de las reglas, la cabeza de reglas es verdadera cuando sustituimos los valores de verdad asignados a los predicados en el cuerpo de las reglas segn esa interpretacin. De este modo, siempre que se aplica una sustitucin (enlace) a las variables de las reglas, si todos los predicados del cuerpo de un arreglo son verdaderos en esa interpretacin, el predicado de la cabeza de la regla tambin debe ser verdadero. Una regla se viola si un determinado enlace de constantes en las variables hace verdaderos todos los predicados del cuerpo de la regla, pero hace que el predicado de la cabeza de la regla sea falso.
MECANISMOS DE INFERENCIA
Los mecanismos de inferencia permiten simular la estrategia de solucin de un experto. Es la unidad lgica con la que se extraen conclusiones de la base de conocimiento, segn un mtodo fijo de solucin de problemas que esta configurado, limitando el procedimiento humano de los expertos para solucionar problemas.
11
La decisin sobre los mecanismos de procesamiento de reglas, es decir, qu estrategias de bsqueda se implementarn, es de vital importancia para la efectividad del sistema en su conjunto. Ante problemas o clases de problemas distintos se estructuran, como es lgico, diferentes mecanismos de inferencia. El mecanismo de inferencia debe de estar "adaptado" al problema a solucionar. Una imposicin de dinero exige, bajo ciertas circunstancias, una estrategia distinta de procesamiento del conocimiento que un diagnstico de fallos de mquina.
12
13
CONCLUSIN
A lo largo de la creacin, modificacin y optimizacin de los tipos Sistemas de Gestin de Bases de Datos, ms especficamente en la Cuarta Generacin de los mismos, aparecieron las Bases de Datos Deductivas, que permiten obtener INFERENCIAS, o nueva informacin a partir de datos almacenados en un sistema, empleando Lgica Matemtica y sus respectivos mtodos de demostracin, los MECANISMOS DE INFERENCIA resultan indispensables en sta rea de la Gestin de Datos, ya que determinan qu, cmo y en qu orden se llevarn a cabo las operaciones antes mencionadas para obtener resultados considerados VERDADEROS por el sistema, as como qu datos se emplearn para hacerlo. Los mecanismos de Inferencia empleados dependern del problema y/o clase de problema que se desea resolver.
14
ANEXO
CURIOSIDADES Bases de Datos
El trmino de bases de datos fue escuchado por primera vez en 1963, en un simposio celebrado en California, USA.
Akinator.com
Akinator, el genio.
Akinator es una aplicacin on-line que adivina el nombre de personajes reales o fantsticos mediante informacin introducida por el usuario, respondiendo a ciertas preguntas. Curiosamente, sta aplicacin emplea un Sistema de Gestion de Datos DEDUCTIVO. HETOS HETOS es un potente sistema que permite realizar cualquier operacin en la mesa de test, adems del test de cableado, entre otras cosas, empleando un sistema DEDUCTIVO.
15
BIBLIOGRAFA
Gonzlez Alvarado, Carlos. Sistema de Bases de Datos. Editorial Tecnolgica de Costa Rica, Primera Edicin, 1996. Elmasri, Ramez. Sistemas de Bases de Datos. Editorial Addison -Wesley Iberoamericana S-A. Segunda Edicin, 1997. BASES DE DATOS DEDUCTIVAS Y BASES DE DATOS DIFUSAS Modelos Avanzados de Bases de Datos (2009) - Tamara Mata Muela, Jos Miguel Murillo Gmez, Jos Luis Hernndez Tllez de Cepeda. L.Mota Herranz y M. Celma Gimnez - Mtodos para la comprobacin de la integridad de en bases de datos deductivas. Gonzlez Alvarado, Carlos. Sistema de Bases de Datos. Editorial Tecnolgica de Costa Rica, Primera Edicin, 1996. I.C. Silvia Eloisa Carln Salgado y M.Sc. Rosendo Moreno Rodrguez - Valorizacin de las bases de datos deductivas y de las bases de datos activas. Rafael Caballero Roldn. Introduccin a las bases de datos deductivas. Wikipedia, enciclopedia libre.
16