app/willard/out5

   1 Input:
   2 {x:[x,y,z] in [A,B,C]}
   3 {x:[x,y,z] in [A,B,C]}
   4
   5 [Renaming phase]
   6
   7 {x:[x,y,z] in [A,B,C]}
   8
   9 [DNF construction and simplification phase]
  10
  11 {x:[x,y,z] in [A,B,C]}
  12
  13 [Constructing the query graph]
  14
  15 [Query Graph]
  16 {x:[x,y,z] in [A,B,C]}
  17
  18 [Quantifier elimination phase]
  19
  20 {x:[x,y,z] in [A,B,C]}
  21
  22 [Disjunction removal phase]
  23
  24 {x:[x,y,z] in [A,B,C]}
  25
  26 [Conjunctive query decomposition phase]
  27
  28 [Query Graph]
  29 {x:[x,y,z] in [A,B,C]}
  30
  31 [Projection recognition phase]
  32
  33 {x: x in A |  (exists z in C. (exists y in B. true))}
  34
  35 [Simple find/count query decomposition phase]
  36
  37 {x: x in A |  (exists z in C. (exists y in B. true))}
  38
  39 [Reiterating the transformation]
  40
  41 {x: x in A |  (exists z in C. (exists y in B. true))}
  42
  43 [Renaming phase]
  44
  45 {x: x in A |  (exists z in C. (exists y in B. true))}
  46
  47 [DNF construction and simplification phase]
  48
  49 {x: x in A |  (exists z in C.(nonempty B))}
  50
  51 [Constructing the query graph]
  52
  53 [Query Graph]
  54 {x: x in A |  (exists z in C.(nonempty B))}
  55
  56 [Quantifier elimination phase]
  57
  58 if((nonempty C) and(nonempty B)) then A else {}
  59
  60 [Disjunction removal phase]
  61
  62 if((nonempty C) and(nonempty B)) then A else {}
  63
  64 [Conjunctive query decomposition phase]
  65
  66 [Query Graph]
  67 if((nonempty C) and(nonempty B)) then A else {}
  68
  69 [Projection recognition phase]
  70
  71 if((nonempty C) and(nonempty B)) then A else {}
  72
  73 [Simple find/count query decomposition phase]
  74
  75 Output:
  76 if((nonempty C) and(nonempty B)) then A else {}