Contents

- alf: |-
    project(minus(suppliers_in_london, suppliers_in_paris), [:name])
  optimized: |-
    project(minus(suppliers_in_london, suppliers_in_paris), [:name])
  comment: |-
    This is NOT minus(project, project). Indeed, as a supplier cannot be both
    in Paris and in London, the minus simply returns the left operand. In
    contrast, if we project first then the city information is lost and we
    could restrict the left operand through common names, which is wrong.
- alf: |-
    project(minus(suppliers, suppliers_in_paris), [])
  optimized: |-
    project(minus(suppliers, suppliers_in_paris), [])
  comment: |-
    This is NOT minus(project, project), cfr. counterexample provided by Kim
    Mens project/master thesis at UCL.

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
alf-0.16.3	spec/optimizer/project/minus.yml
alf-0.16.2	spec/optimizer/project/minus.yml
alf-0.16.1	spec/optimizer/project/minus.yml
alf-0.16.0	spec/optimizer/project/minus.yml