Commit Graph

1 Commits (6f61d51b3a5b25fe88eeb8c2622e97872e26a938)

Author SHA1 Message Date
Salvo 'LtWorf' Tomaselli 3b3888e9be New optimization
Turns
        π a,b,c(A) ∪ π a,b,c(B)

    into
        π a,b,c(A ∪ B)

    if A and B are union compatible

Works with union, intersection and difference.
2016-01-03 10:07:23 +07:00