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
Key (violation) on a RVA
Re: Key (violation) on a RVA
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.