Está en la página 1de 16

NDICE ndice.........................................................................................................pag 1 ndice de Grficos.....................................................................................pag 2 INTRODUCCIN....................................................................................pag 3 DESARROLLO........................................................................................pag 4 Bases de Datos.......................................................................................pag 4 Qu son las Bases de Datos?...........................................................

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

Informe Final Base de Datos II. A.P.U. 2011

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

Informe Final Base de Datos II. A.P.U. 2011

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.

Informe Final Base de Datos II. A.P.U. 2011

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.

Esquema general de una Base de Datos.

Cundo nacieron las Bases de Datos?


Se pueden mencionar cuatro generaciones, segn la historia de las Bases de Datos. PRIMERA GENERACION (1940, 1950, Inicios de 1960) Aparicin de programas generadores de reportes. Sistemas de archivos. Lenguajes de definicin de datos. Formacin de Codasyl y publicacin del primer Cobol. Aparicin del primer DBMS Comercial Integrated Data Store. Informe Final Base de Datos II. A.P.U. 2011 4

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).

BASES DE DATOS DEDUCTIVAS


Qu son las Bases de Datos Deductivas?
Una Base de Dato Deductiva puede ser definida como un sistema de bases de datos que tiene capacidad de definir reglas con las cuales deducir o inferir informacin adicional a partir de los hechos almacenados en las bases de datos. Es decir, es un programa lgico que realiza un mapeo de relaciones base hacia hechos, y reglas que son usadas para definir nuevas relaciones en trminos de las relaciones base y el procesamiento de consultas En un sistema de Bases de Datos Deductivas, generalmente se usa un lenguaje declarativo para especificar reglas que definen las nuevas relaciones. Un lenguaje declarativo es aquel que define lo que un programa desea lograr, en vez de especificar los detalles de cmo lograrlo. El modelo empleado en las Bases de Datos Deductivas est ntimamente relacionado con el modelo de datos relacional, y sobre todo con el formalismo del clculo relacional. Tambin esta relacionado con el campo de la programacin lgica (Prolog Datalog).

Cmo funcionan las BD DEDUCTIVAS?


Una Base de Datos Deductiva utiliza dos tipos de especificaciones: Hechos: Los hechos se especifican de manera similar a como se especifican las relaciones, excepto que no es necesario incluir los nombres de los atributos. Una tupla en una relacin describe algn hecho del mundo real cuyo significado queda determinado en parte por los nombres de los atributos. En una Base de Datos Deductiva, el significado del valor del atributo en una tupla queda determinado exclusivamente por su posicin dentro de la tupla. Informe Final Base de Datos II. A.P.U. 2011 5

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.

Caractersticas Principales de las Bases de Datos Deductivas


Una Base de Datos Deductiva debe contar al menos con las siguientes caractersticas principales:

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

Contar con mtodos de optimizacin especificaciones dentro de planes eficientes de acceso.

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.

Funcionamiento elemental de una BD Deductiva.

Informe Final Base de Datos II. A.P.U. 2011

Ventajas y Desventajas del uso de las BDD


Ventajas Uso de reglas lgicas para expresar las consultas. Permite responder consultas recursivas. Cuenta con negaciones estratificadas Capacidad de obtener nueva informacin a travs de la ya almacenada en la base de datos mediante inferencia. Uso de algoritmos de optimizacin de consultas. Soporta objetos y conjuntos complejos. Desventajas Crear procedimientos eficaces de deduccin para evitar caer en bucles infinitos. Encontrar criterios que decidan la utilizacin de una ley como regla de deduccin. Replantear las convenciones habituales de la base de datos.

Relaciones y Esquema de una BDD.

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.

Inferencias en Bases de Datos


Teniendo en cuenta la ya mencionada organizacin de las BDD en hechos y reglas: Los mecanismos de inferencia se aplican sobre los hechos y las reglas en una base de datos deductiva en particular, para lograr obtener ms informacin a partir de los datos explcitos de la base. Informe Final Base de Datos II. A.P.U. 2011 9

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.

Informe Final Base de Datos II. A.P.U. 2011

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.

Informe Final Base de Datos II. A.P.U. 2011

11

Funciones de los Mecanismos de Inferencia


1. Determinacin de las acciones que tendrn lugar, el orden en que lo harn y como lo harn entre las diferentes partes del sistema experto. 2. Determinar como y cuando se procesaran las reglas, y dado el caso tambin la eleccin de que reglas debern procesarse. 3. Control de dialogo con el usuario.

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.

Tipos de Mecanismos de Inferencia.


Existen principalmente dos tipos de inferencia computacional basados en la interpretacin de las reglas por la teora de la demostracin:

Mecanismo de inferencia ascendente.


Tambin llamado encadenamiento hacia delante o resolucin ascendente. La mquina de inferencia parte de los hechos y aplica las reglas para generar hechos nuevos. Conviene usar una estrategia de bsqueda para generar slo los hechos que sean pertinentes a una consulta.

Mecanismo de inferencia descendente.


Tambin llamado encadenamiento hacia atrs o resolucin descendente. Parte del predicado que es el objetivo de la consulta e intenta encontrar coincidencias con las variables que conduzcan a hechos vlidos de la base de datos. Retrocede desde el objetivo buscado para determinar hechos que lo satisfacen. Si no existieran los hechos que buscamos, el sistema entonces buscar la primera regla cuya cabeza (LHS) tenga el mismo nombre de predicado que la consulta.

Informe Final Base de Datos II. A.P.U. 2011

12

Esquema de funcionamiento de los Mecanismos de inferencia.

Informe Final Base de Datos II. A.P.U. 2011

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.

Informe Final Base de Datos II. A.P.U. 2011

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.

Informe Final Base de Datos II. A.P.U. 2011

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.

Informe Final Base de Datos II. A.P.U. 2011

16

También podría gustarte