A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Exercicio – Revisão Método da Resolução e Ponto Fixo Profa. Sandra de Amo PGC 107 Sistemas de Banco de Dados.

Apresentações semelhantes


Apresentação em tema: "Exercicio – Revisão Método da Resolução e Ponto Fixo Profa. Sandra de Amo PGC 107 Sistemas de Banco de Dados."— Transcrição da apresentação:

1 Exercicio – Revisão Método da Resolução e Ponto Fixo Profa. Sandra de Amo PGC 107 Sistemas de Banco de Dados

2 Exercicio 1 Considere o seguinte programa Datalog P irmao(x,y) :- pais(x,z), pais(y,z), x y primo(x,y) :- pais(x,x), pais(y,y), irmao(x,y) primo(x,y) :- pais(x,x), paix(y,y),primo(x,y) parente(x,y) :- irmao(x,y) parente(x,y) :- primo(x,y) parente(x,y) :- parente(x,z), pais(y,z) parente(x,y) :- parente(z,y), pais(x,z) Considere a seguinte instância da relação pais (extensional) Pais = {(Paulo, Pedro), (Maria, Pedro), (Pedro, Otavio), (Marcos, Otavio), (Maria,Sandra), (Pauline, Sandra), (Sandra, Henrique), (Marcia, Henrique),(Rafael,Marcia)} Considere as seguintes consultas Datalog: 1. (P, irmao) 2. (P,primo) 3. (P, parente)

3 Pede-se Para cada uma destas consultas calcule as respostas usando a) o método iterativo do ponto fixo (T0, T1,...) b) o método da Resolução


Carregar ppt "Exercicio – Revisão Método da Resolução e Ponto Fixo Profa. Sandra de Amo PGC 107 Sistemas de Banco de Dados."

Apresentações semelhantes


Anúncios Google