banco dados lógico (dedutivo)
TRANSCRIPT
![Page 1: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/1.jpg)
Banco de Dados
Dedutivo
Banco de Dados
DedutivoOu lógicoOu lógico
![Page 2: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/2.jpg)
Banco de Dados
Dedutivo
Banco de Dados
DedutivoOu lógicoOu lógico
Autor:
Fabiano da [email protected]
![Page 3: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/3.jpg)
O que é?
![Page 4: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/4.jpg)
O que é?Capacidade de definir
regras, que são deduzidas
ou inferidas a partir de
fatos contidos em sua
base de dados.
![Page 5: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/5.jpg)
Ou seja...
![Page 6: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/6.jpg)
Ou seja...Especifica regras recursivas,
assim provendo uma
ferramenta para inferir novas
informações baseadas nas
regras especificadas.
![Page 7: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/7.jpg)
Especificações
![Page 8: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/8.jpg)
EspecificaçõesFatos: como relações. O nome dos atributos
não interessa, mas sim, a posição deles na
tupla.
Regras: relações virtuais (similares às visões
relacionais) que não estão armazenadas no
banco mas que podem ser criadas a partir dos
fatos, aplicando o mecanismo de dedução
baseado nas regras.
![Page 9: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/9.jpg)
História
![Page 10: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/10.jpg)
História
rojeto do início da década de 70 com
objetivos associados a inteligência artificial.
O primeiro interpretador surge em 1972
denominado Prolog que posteriormente foi
evoluído para o Datalog.
P
![Page 11: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/11.jpg)
Propósito
![Page 12: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/12.jpg)
PropósitoCapacidade de responder consultas recursivas,
a linguagem de consulta declarativa e a
dedução de novas informações, permitem que
eles realizem tarefas não suportadas por bancos
convencionais.
Aplicações: Bases de dados científicas, controle
de tráfego aéreo, análise exploratória de dados.
![Page 13: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/13.jpg)
Exemplo
![Page 14: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/14.jpg)
ExemploFatossupervisiona(franklin,john).
supervisiona(franklin,ramesh).
supervisiona(franklin,joyce).
supervisiona(jennifer,alicia).
supervisiona(jennifer,ahmad).
supervisiona(james,franklin).
supervisiona(james,jennifer).
Regrassuperior(X.Y) :- supervisiona(X.Y).
Superior(X.Y):- supervisiona(X,Z), superior(Z,Y).
Subordinado(X,Y) :- superior(YX).
DeduçãoSuperior(james, Y).
Superior(james,joyce).
![Page 15: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/15.jpg)
Consulta
![Page 16: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/16.jpg)
ConsultamaiorQue(bruno, maikon).
maiorQue(maikon, fabricio).
maiorQue(maikon, ebara).
maiorQue(roberto, maikon).
maiorQue(fabricio, outro).
maiorQue(A, C) :- maiorQue(A,B), maiorQue(B,C).
maiorQue(bruno,X)?
![Page 17: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/17.jpg)
Prós e Contras
![Page 18: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/18.jpg)
Prós
![Page 19: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/19.jpg)
Prós• Permite descrever consultas mais
sofisticadas que as descritas por meio
de SQL.
• Pode deduzir ou inferir informação a
partir de dados já armazenados.
• A ordem das regras não tem
importância.
![Page 20: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/20.jpg)
Contras
![Page 21: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/21.jpg)
Contras• Forma com que os atributos de uma
relação são referenciados pela posição
e não pelo nome.
• Restrições nas regras Datalog que
limitam o seu poder expressivo, como
a ausência de: funções, disjunção,
operações aritméticas e operações.
![Page 22: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/22.jpg)
Indicação de Softwaree suas licenças
![Page 23: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/23.jpg)
Indicação de Software
• LDLLDLLDLLDL (Logic Data Language): comercial
• NAIL!NAIL!NAIL!NAIL! (Not Another Implementation of Logic):
comercial
• CORALCORALCORALCORAL: comercial
e suas licenças
![Page 24: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/24.jpg)
Benchmarking
![Page 25: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/25.jpg)
Benchmarking
Banco de dados dedutivos podem ser ligados
a banco de dados orientados a objetos pois
estes tentam representar objetos do mundo
real, o que facilita a representação dos fatos
no banco de dados dedutivo, podendo surgir
então a denominação dos DOOD´s (Dedutive
Oriented Object Database).
![Page 26: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/26.jpg)
Conclusão
Por mais que a proposta de um
banco de dados dedutivo nos dados
armazenados seja algo interessante
e promissor, não é muito aplicável
no mundo real. Principalmente pela
limitações e conceitos.
![Page 27: Banco dados lógico (dedutivo)](https://reader030.vdocuments.site/reader030/viewer/2022013108/55ac8d8d1a28abf4738b47e6/html5/thumbnails/27.jpg)
Obrigado!