Search found 1 match

by eregon
Fri Feb 28, 2014 7:59 pm
Forum: Report a Bug
Topic: Incorrect comparison of nested relation
Replies: 6
Views: 4826

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")}, TUPLE {PID P#("P4")}, TUPLE ...