Constraint-Based Analysis Say we have a Datalog problem with the following input relations: house (p: Person,...

 

Transcribed Image Text:

Constraint-Based Analysis Say we have a Datalog problem with the following input relations: house (p: Person, h: House) // p lives in h related (p: Person, q: Person) // p is related to q We want to compute an output relation friend (p: Person, q: Person) using the following rules: (1) All persons are friends with themselves. (2) If p is a friend of 9, then 9 is a friend of p. (3) If p is related to q, then p is a friend of q. (4) If p and q live in the same house, then p is friends with q. Answer the following questions. (a) (4 points) Write each of rules 1-4 above as a Datalog rule. band Constraint-Based Analysis Say we have a Datalog problem with the following input relations: house (p: Person, h: House) // p lives in h related (p: Person, q: Person) // p is related to q We want to compute an output relation friend (p: Person, q: Person) using the following rules: (1) All persons are friends with themselves. (2) If p is a friend of 9, then 9 is a friend of p. (3) If p is related to q, then p is a friend of q. (4) If p and q live in the same house, then p is friends with q. Answer the following questions. (a) (4 points) Write each of rules 1-4 above as a Datalog rule. band