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 » Tue Jan 13, 2015 4:46 am

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:368
Joined:Sun Nov 27, 2005 7:19 pm

Re: Key (violation) on a RVA

Post by Dave » Tue Jan 13, 2015 11:11 am

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