Search found 2 matches

by layus
Mon Mar 09, 2015 10:14 am
Forum: Report a Bug
Topic: Incorrect comparison of nested relation
Replies: 6
Views: 4833

Re: Incorrect comparison of nested relation

Nice ! you found a very small tester.

Were you able to find the source of the problem ?

When should I expect the next update ?
by layus
Tue Feb 24, 2015 1:59 pm
Forum: Report a Bug
Topic: Incorrect comparison of nested relation
Replies: 6
Views: 4833

Re: Incorrect comparison of nested relation

The previous example seems fixed, but I found a case where a relation is not equal to a join with itself. TYPE S# POSSREP {SNUM CHAR}; TYPE P# POSSREP {PNUM CHAR}; with (S := RELATION {SID S#, PID P#, QTY INTEGER} { TUPLE {SID S#("S1"), PID P#("P1"), QTY 300}, TUPLE {SID S#("S1"), PID P#("P2"), QTY ...