how to prove - 02-10-2012 , 07:18 PM
How can I prove Qa: p(X,Y) is not contained in Qb: p(A,'a')? I have
proved the containment in the other direction using mapping, but not
sure how to proceed with this case.
Thanks in advance
Re: how to prove - 02-14-2012 , 12:08 AM
On Feb 10, 5:18*pm, Helen2007 <helen.ack... (AT) googlemail (DOT) com> wrote:
~(forall a [p(a, 'a')] -> forall x, y [p(x, y)])
Suggest you try a counterexample.
Googling +"Qa: p(X,Y)" +"contained in" gives a single hit 'Logical
query optimization by proof-tree transformation' (Ramakrishnan/Sagiv/
Ullman/Vardi 1993) "... have frontiers that are related to the p(X, Y)
nodes by Qa: p(X, Y) : a(X, Z) p(Z, ... A set of proof trees S is said
to be contained in another, say, T, if every fact ...", consistent
with my guess. Context is helpful for any question, like the topic or
paper or textbook you're reading & it's polite when it's homework to