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