Dependency Graph
R0:
R1:
R2:
R3:R0,R1,R2
R4:R3

Rule Evaluation
1 passes: R2
1 passes: R1
1 passes: R0
1 passes: R3
1 passes: R4

Query Evaluation
DeaUoo(A,B,C,D,E)? Yes(3)
  A='a', B='a', C='a', D='a', E='a'
  A='a', B='a', C='b', D='a', E='a'
  A='b', B='a', C='a', D='a', E='a'
DeaUoo(A,B,'a',D,E)? Yes(2)
  A='a', B='a', D='a', E='a'
  A='b', B='a', D='a', E='a'
DeaVoo(A,B,'a',D,E)? No
DeaUoo(A,B,'b',D,E)? Yes(1)
  A='a', B='a', D='a', E='a'
DeaWoo(A,B,'a',D,Applestrudle)? Yes(4)
  A='a', B='a', D='a', Applestrudle='a'
  A='a', B='a', D='a', Applestrudle='b'
  A='a', B='b', D='a', Applestrudle='b'
  A='a', B='b', D='b', Applestrudle='a'
DeaWoo(A,B,'a',D,E)? Yes(4)
  A='a', B='a', D='a', E='a'
  A='a', B='a', D='a', E='b'
  A='a', B='b', D='a', E='b'
  A='a', B='b', D='b', E='a'
DeaWoo('a','a','a','a','b')? Yes(1)