Commit Graph

1 Commits

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 +01:00