Optimizing relational algebra operations using generic equivalence discriminators and lazy products