Search found 1 match
- Fri Feb 28, 2014 7:59 pm
- Forum: Report a Bug
- Topic: Incorrect comparison of nested relation
- Replies: 6
- Views: 11938
Incorrect comparison of nested relation
I found some relation (with nested relations) to not be equal to itself! Let's define a P# type: TYPE P# POSSREP {PNUM CHAR}; WITH (R := RELATION { SUPPLIES RELATION {PID P#}} { TUPLE { SUPPLIES RELATION { TUPLE {PID P#("P1")}, TUPLE {PID P#("P2")}, TUPLE {PID P#("P3")}...