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
..
2010-10-06 21:44:13 +00:00
2010-10-06 21:44:13 +00:00
2010-10-06 21:44:13 +00:00
2010-10-04 10:06:17 +00:00
2010-10-04 10:06:17 +00:00
2010-10-04 12:46:18 +00:00
2015-06-06 14:06:02 +02:00
2015-06-06 14:06:02 +02:00
2015-06-06 14:06:02 +02:00
2015-06-06 14:06:02 +02:00
2015-06-06 14:06:02 +02:00
2015-06-06 14:06:02 +02:00
2010-12-23 10:11:14 +00:00
2010-12-23 10:11:14 +00:00
2010-10-06 21:44:13 +00:00
2010-10-06 21:44:13 +00:00
2010-10-06 21:44:13 +00:00
2010-10-06 21:44:13 +00:00
2010-10-04 10:06:17 +00:00
2010-10-04 10:06:17 +00:00
2010-10-04 12:46:18 +00:00
2010-10-04 10:06:17 +00:00
2010-10-04 10:06:17 +00:00
2010-10-04 10:06:17 +00:00
2010-10-04 10:06:17 +00:00
2015-06-06 14:06:02 +02:00
2015-06-06 14:06:02 +02:00
2011-03-22 13:28:41 +00:00
2010-10-26 13:54:34 +00:00
2010-10-26 13:54:34 +00:00
2010-10-04 10:06:17 +00:00
2010-10-04 10:06:17 +00:00
2010-12-23 10:11:14 +00:00
2015-12-31 14:26:28 +01:00
2015-12-31 14:26:28 +01:00
2016-01-03 10:07:23 +01:00
2016-01-03 10:07:23 +01:00
2015-11-18 12:15:03 +01:00
2010-10-06 21:44:13 +00:00
2010-10-06 21:44:13 +00:00