app/willard/test3

   1 Input:
   2 {[x,y]: x in A, y in B |  (exists z in C.((x = z) and(y = z)))}
   3 {[x,y]: x in A, y in B |  (exists z in C.((x = z) and(y = z)))}
   4
   5 [Renaming phase]
   6
   7 {[x,y]: x in A, y in B |  (exists z in C.((x = z) and(y = z)))}
   8
   9 [DNF construction and simplification phase]
  10
  11 {[x,y]: x in A, y in B |  (exists z in C.((x = z) and(y = z)))}
  12
  13 [Constructing the query graph]
  14
  15 [Query Graph]
  16    edge y -> z
  17 {[x,y]: x in A, y in B |  (exists z in C.((x = z) and(y = z)))}
  18
  19 [Quantifier elimination phase]
  20
  21 {[x,y]:[x,y] in [A,B] |  (exists z in C.((x = z) and(y = z)))}
  22
  23 [Disjunction removal phase]
  24
  25 {[x,y]:[x,y] in [A,B] |  (exists z in C.((x = z) and(y = z)))}
  26
  27 [Conjunctive query decomposition phase]
  28
  29 [Query Graph]
  30    edge y -> z
  31 {[x,y]:[x,y] in [A,B] |  (exists z in C.((x = z) and(y = z)))}
  32
  33 [Projection recognition phase]
  34
  35 {[x,y]:[x,y] in [A,B] |  (exists z in C.((x = z) and(y = z)))}
  36
  37 [Simple find/count query decomposition phase]
  38
  39 Output:
  40 {[x,y]:[x,y] in [A,B] |  (exists z in C.((x = z) and(y = z)))}