Banco de dados dedutivosDisciplina: Banco de Dados Docente: Taciano Silva Discentes: Fernanda Cardinaly Nathalie Ramos

Nathalie

AGENDA INTRODUO A SISTEMA DE BDD ENTENDENDO UM BDD DEFICINCIAS DO PROLOG CRIAO DO DATALOG DEDALO CARACTERSTICAS DO DEDALO RESTRIES DE INTEGRIDADE ARQUITETURA DO SISTEMA PROCESSAMENTO DE TRANSAES CONCLUSO REFERNCIAS

Nathalie

Pegue um banco de dados com informaes contidas nas relaes bsicas, explicitamente inseridas e adicione a capacidade de definir regras (dedutivas) que permitem derivar novos dados partir das relaes bsicas, podendo deduzir ou inferir informao adicional a partir de fatos que esto armazenados. O resultado um BDD Banco de Dados Dedutivos.

Nathalie

INTRODUO AO BDDA tecnologia encarada como promissora frequentemente considerada mais terica do que prtica e existem duas razes que explicam isto: A linguagem de consulta utilizada baseada no Datalog (evoluo do Prolog);A forma com que os atributos de uma relao so referenciados e atualizados.

Nathalie

ENTENDENDO O BDD Prolog X DataLog Pode ser dividido em partes: Banco de Dados Extensional (BDE) Banco de Dados Intensional (BDI)

DEFICINCIAS DO PROLOGEssas deficincias influenciam inclusive no resultado final:

Nathalie

Influncia no resultado final - desejvel uma linguagem de consulta onde a ordem das regras no fosse importante Estratgia de avaliao - mais adequada a recuperao de conjuntos de tuplas por vez, enquanto o Prolog recupera uma tupla por vez.

CRIAO DO DATALOG

Fernanda

Foi definida uma nova linguagem baseada em lgica para uso especfico em bancos de dados: o Datalog. As diversas restries do Datalog, como a ausncia de funes, negao, disjuno, operaes aritmticas e operaes de comparao, simplificam as formulaes tericas. Nele, a ordem das regras no tem importncia.

CRIAO DO DATALOG

Fernanda

No entanto, um sistema de banco de dados construdo nas bases desta teoria no atende os requisitos impostos pelas aplicaes do mundo real. Assim, os bancos dedutivos, em geral, utilizam extenses do Datalog puro como linguagem de consulta.

DEDALO

Fernanda

Para suprir as deficincias do Datalog puro, citadas anteriormente, foi criada a linguagem Dedalo (deduo, dados e lgica), utilizada pelo BDD de mesmo nome

CARACTERSTICAS DO DEDALO

Fernanda

A linguagem Dedalo permite o raciocnio aproximado, atravs de adaptaes da lgica fuzzy para bancos de dados dedutivos. Cada relao base do banco de dados deve possuir um atributo com nome padronizado cf (confidence factor), cujo valor varia de 0 a 1 e indica o fator de certeza da tupla. O Dedalo permite que se associe a cada regra um fator de certeza que determina a confiana na verdade da regra.

CARACTERSTICAS DO DEDALO

Fernanda

As operaes de atualizao (insero, excluso e modificao) podem ser solicitadas na linguagem Dedalo utilizando um dos operadores de atualizao providos por ela. Estes operadores so: ins, para inseres, del para excluses e upd para modificaes. Utiliza uma linguagem de consulta declarativa, com maior poder expressivo que o Datalog e a lgebra relacional. Permite a especificao de restries de integridade, utilizando a prpria linguagem do sistema, com mtodos eficientes para deteco de violaes;

RESTRIES DE INTEGRIDADE

Nathalie

No sistema DEDALO, as restries de integridade so especificadas por regras de derivao. A regra que representa a restrio deve expressar uma situao que no deve ocorrer em nenhum estado vlido do Banco de Dados.

RESTRIES DE INTEGRIDADE

Nathalie

Ex.:A seguinte restrio de integridade diz que nenhum paciente do sexo masculino pode ficar grvido: PacientesGrvidos(Nome:X) :pacientes(Nome:X,Sexo:'M',Gravidez:Sim').

ARQUITETURA DO SISTEMA

Fernanda

A comunicao entre as ferramentas do sistema Dedalo e o gerenciador de banco de dados feita via ODBC O sistema Dedalo est dividido em quatro mdulos. O Gerenciador de Regras - Criao e manuteno das regras de derivao A Interface Interativa - ferramenta desenvolvida para processar solicitaes de consultas ad hoc e solicitaes de atualizao sobre o banco.

PROCESSAMENTO DE TRANSAES1. Execuo da transao original, onde so executadas as solicitaes de excluso e insero solicitadas pelo usurio; 2. Execuo das tradues de atualizaes sobre relaes derivadas, onde as alteraes sobre relaes bsicas que tornam visveis as atualizaes solicitadas sobre as relaes derivadas so executadas;

Fernanda

3. Propagao das atualizaes para relaes derivadas materializadas;4. Verificao das restries de integridade, onde so detectadas possveis violaes; 5. Execuo de reparos das restries de integridade violadas.

CONCLUSO

Fernanda

As caractersticas dos sistemas dedutivos, como a linguagem de consulta declarativa e a deduo de novas informaes, permitem que eles realizem tarefas no suportadas por bancos convencionais. Por isso, aplicaes como bases de dados cientficas, controle de trfego areo, anlise exploratria de dados so frequentemente citadas como aplicaes que encontrariam grandes vantagens se resolvidas com um BDD.

REFERNCIAS

DVIDAS?