Class RemoveRedundantExists

  • All Implemented Interfaces:
    Rule<ApplyNode>

    public class RemoveRedundantExists
    extends Object
    implements Rule<ApplyNode>
    Given:
     - Apply [X.*, e = EXISTS (true)]
       - X
       - S with cardinality >= 1
     
    Produces:
     - Project [X.*, e = true]
       - X
     
    Given:
     - Apply [X.*, e = EXISTS (true)]
       - X
       - S with cardinality = 0
     
    Produces:
     - Project [X.*, e = false]
       - X