Safe Datalog Rule: A Datalog rule is of the form:p :- q1, ..., qn. where n>0 and p is a positive atomic formula and q1, ..., and qn are positive or negative atomic formulas. A positive atomic formula is of the form:r(x1, ..., xm) and a negative atomic formulas of the form:not r(x1, ..., xm) where m>0 and r is a relation name and x1 , ..., xm are either numbers or variables. Relation names and variables are made up of alphabetic letters or digits and start with a lower-case alphabetic letter. Even though the variables are made up of lower and upper-case letters, these should be considered case-insensitive. For example, cno, CNO, cNO, etc all should be treated as the same variable.Some examples of Datalog rules are given below:ancestor(x1, y1) :- parent(x1, y1). teaches(tno,cno) :- faculty(tno), course(cno), assigned(tno,cno). p(x,y) :- q(2,x), r(u,45,z), s(a,b,22). p(x,y,z) :- q(x), not r(y,20), s(x,z). A Datalog rule is considered “Safe” if all variables that appear to the left of :- also appear to its right in positive atoms. For example in rule 2 above, the variables that appear to the left of :- are tno and cno. Both these variables appear to the right of :- in positive atomic formulas as well. So, this rule is “Safe”. However, rule 3 above is not “Safe” because the variable y appearing to the left of :- does not appear to the right of :-. Similarly, rule 4 is also not "Safe" because even though x, y, and z appear on the right hand side, unfortunately y appears only in a negative atomic formula, thereby rendering the rule "Unsafe".Using PLY, implement an Attribute Grammar that checks for "Safe" Datalog rules. In the first rule, return a Boolean value indicating whether the rule is safe (True) or unsafe (False). The main program, DLOG.py, can be used as a driver program. Here is a sample run:Mac-mini:dlog raj$ python3 DLOG.py Enter Datalog rule: ancestor(x1, y1) :- parent(x1, y1). SAFE Datalog Rule Enter Datalog rule: teaches(tno,cno) :- faculty(tno), course(cno), assigned(tno,cno). SAFE Datalog Rule Enter Datalog rule: p(x,y) :- q(2,x), r(u,45,z), s(a,b,22). UNSAFE Datalog Rule Enter Datalog rule: p(x,y,z) :- q(x), not r(y,20), s(x,z). UNSAFE Datalog Rule Enter Datalog rule: exit Mac-mini:dlog raj$

Answered: Image /qna-images/answer/48f2d0aa-2122-476a-9902-e4d996f7fbe8.jpg

Answered: Safe Datalog Rule: A Datalog rule is of…

Computer Networking: A Top-Down Approach (7th Edition)

7th Edition

ISBN:9780133594140

Author:James Kurose, Keith Ross

Publisher:James Kurose, Keith Ross

Chapter1: Computer Networks And The Internet

Section: Chapter Questions

Problem R1RQ: What is the difference between a host and an end system? List several different types of end...

See similar textbooks

Related questions

Question

Safe Datalog Rule: A Datalog rule is of the form:p :- q1, ..., qn. where n>0 and p is a positive atomic formula and q1, ..., and qn are positive or negative atomic formulas. A positive atomic formula is of the form:r(x1, ..., xm) and a negative atomic formulas of the form:not r(x1, ..., xm) where m>0 and r is a relation name and x1 , ..., xm are either numbers or variables. Relation names and variables are made up of alphabetic letters or digits and start with a lower-case alphabetic letter. Even though the variables are made up of lower and upper-case letters, these should be considered case-insensitive. For example, cno, CNO, cNO, etc all should be treated as the same variable.
Some examples of Datalog rules are given below:
ancestor(x1, y1) :- parent(x1, y1). teaches(tno,cno) :- faculty(tno), course(cno), assigned(tno,cno). p(x,y) :- q(2,x), r(u,45,z), s(a,b,22). p(x,y,z) :- q(x), not r(y,20), s(x,z). A Datalog rule is considered “Safe” if all variables that appear to the left of :- also appear to its right in positive atoms. For example in rule 2 above, the variables that appear to the left of :- are tno and cno. Both these variables appear to the right of :- in positive atomic formulas as well. So, this rule is “Safe”. However, rule 3 above is not “Safe” because the variable y appearing to the left of :- does not appear to the right of :-. Similarly, rule 4 is also not "Safe" because even though x, y, and z appear on the right hand side, unfortunately y appears only in a negative atomic formula, thereby rendering the rule "Unsafe".
Using PLY, implement an Attribute Grammar that checks for "Safe" Datalog rules. In the first rule, return a Boolean value indicating whether the rule is safe (True) or unsafe (False). The main program, DLOG.py, can be used as a driver program. Here is a sample run:
Mac-mini:dlog raj$ python3 DLOG.py Enter Datalog rule: ancestor(x1, y1) :- parent(x1, y1). SAFE Datalog Rule Enter Datalog rule: teaches(tno,cno) :- faculty(tno), course(cno), assigned(tno,cno). SAFE Datalog Rule Enter Datalog rule: p(x,y) :- q(2,x), r(u,45,z), s(a,b,22). UNSAFE Datalog Rule Enter Datalog rule: p(x,y,z) :- q(x), not r(y,20), s(x,z). UNSAFE Datalog Rule Enter Datalog rule: exit Mac-mini:dlog raj$

Expert Solution