「QVT-Relations」において、モデル要素の識別(一意性)に使用される属性を定義する構文はどれか。

key宣言により、どの属性の組み合わせがそのメタクラスのインスタンスを一意に識別するかを指定する。