トランザクションの参加者を表示します。述語は、値のリストに特定の値があることを確認するチェックを行います。各値は一致しなければなりません。タイムスタンプ、列挙型に限定します。下記のみを参照できます。簡単な属性を表す「ステートフィールド」。アソシエーションとコンポーネント/埋め込み属性を明確に除外します。エンティティータイプの式。広範囲の式タイプを参照することが可能です。単一値のアソシエーションは許可されます。コンポーネント/埋め込み属性も許可されますが、この機能は、基礎となるデータベースのタプルまたは「行値コンストラクター構文」へのサポートのレベルに依存します。値タイプを制限しませんが、基礎となるデータベースのべンダーによってはサポートが制限されるタイプがあることをアプリケーション開発者は認識しておいたほうがよいでしょう。制限の主な原因となります。値のリストは複数の異なるソースより取得することが可能です。つの値が含まれなければなりません。