Exercicio – Revisão Método da Resolução e Ponto Fixo Profa. Sandra de Amo PGC 107 Sistemas de Banco de Dados
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)
Pede-se Para cada uma destas consultas calcule as respostas usando o método iterativo do ponto fixo (T0, T1, ...) o método da Resolução