Upload
fernanda-cardinaly
View
151
Download
2
Embed Size (px)
DESCRIPTION
Banco de dados dedutivosDisciplina: Banco de Dados Docente: Taciano Silva Discentes: Fernanda Cardinaly Nathalie RamosNathalieAGENDA• • • • • • • • • • • INTRODUÇÃO A SISTEMA DE BDD ENTENDENDO UM BDD DEFICIÊNCIAS DO PROLOG CRIAÇÃO DO DATALOG DEDALO CARACTERÍSTICAS DO DEDALO RESTRIÇÕES DE INTEGRIDADE ARQUITETURA DO SISTEMA PROCESSAMENTO DE TRANSAÇÕES CONCLUSÃO REFERÊNCIASNathaliePegue um banco de dados com informações contidas nas relações básicas, explicitamente inseridas e adicione
Citation preview
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?