Key (violation) on a RVA

This forum is for any questions about the language Tutorial D or the Rel implementation of it.
Post Reply
steved
Posts: 49
Joined: Sun Sep 01, 2013 10:53 pm

Key (violation) on a RVA

Post by steved »

Given T1:
VAR T1 PRIVATE REL{A INT,B REL{C INT,D CHAR}}KEY{A};

This makes sense to me. Not sure it makes sense in TTM:)
VAR T1 PRIVATE REL{A INT,B REL{C INT,D CHAR}KEY{C}}KEY{A};

Would be kinda neat to have available and avoid defining additional
relvar(s) and/or involving GROUP/UNGROUP.

steve
Dave
Site Admin
Posts: 372
Joined: Sun Nov 27, 2005 7:19 pm

Re: Key (violation) on a RVA

Post by Dave »

It makes sense, but I'm not sure how TTM-confirming it would be. Might be worth asking Hugh Darwen via the TTM mailing list.
Post Reply