[Mulgara-svn] r1834 - branches/distinct_queries/src/jar/resolver-spi/java/org/mulgara/resolver/spi

[pag at mulgara.org]

Author: pag
Date: 2009-11-12 01:07:54 -0800 (Thu, 12 Nov 2009)
New Revision: 1834

Modified:
   branches/distinct_queries/src/jar/resolver-spi/java/org/mulgara/resolver/spi/SumOfProductExpansionTransformer.java
Log:
Added new algebraic TODO comment

Modified: branches/distinct_queries/src/jar/resolver-spi/java/org/mulgara/resolver/spi/SumOfProductExpansionTransformer.java
===================================================================
--- branches/distinct_queries/src/jar/resolver-spi/java/org/mulgara/resolver/spi/SumOfProductExpansionTransformer.java	2009-11-07 08:03:09 UTC (rev 1833)
+++ branches/distinct_queries/src/jar/resolver-spi/java/org/mulgara/resolver/spi/SumOfProductExpansionTransformer.java	2009-11-12 09:07:54 UTC (rev 1834)
@@ -34,6 +34,7 @@
  * FILTER(A or B, F) -> FILTER(A, F) or FILTER(B, F)
  * TODO:
  * A and ((B or C) - D) -> (A and (B - D)) or (A and (C - D))
+ * A - (B or C) -> (A - B) - C, iff B and C share all variables
  *
  * @created August 7, 2009
  * @author Paul Gearon