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

7.9 KiB

Raw Blame History

View Raw