Re: <OR> predicate?
Date: Tue, 28 Sep 2010 01:27:01 GMT
Message-ID: <Fvboo.1035$u9.993_at_edtnps82>
On 27/09/2010 1:26 PM, Vadim Tropashko wrote:
> Familiarity is definitely one of the major factors driving adoption.
> Witness the C -> C++ -> Java programming language evolution curve. I
> updated everything. Now at the end of database definition file we have
>
> TABLE_DUM = R00;
> TABLE_DEE = R01;
>
> x<AND> y = x ^ y.
> x<OR> y = (x ^ (y v R11)) v (y ^ (x v R11)).
> (<NOT> x ) = (R11 v x) ^ x'.
>
> Here is DeMorgan law in shiny brand new notation
> (<NOT> x)<OR> (<NOT> y) = (<NOT> (x<AND> y)).
>
> Finally, the assertion you are after is:
> x<OR> (<NOT> x ) = x<OR> TABLE_DEE.
>
> Now I wonder if there are any other pieces left before one can claim
> QBQL as yet another Tutorial D implementation:-)
>
A-algebra projection notation? Just asking, really I should say congrats, best excuse for to enable Java that I've seen in many years. Are there any caveats regarding differences in the various jvms?