準拠の副問い合わせに付いて説明します。この節で記載したすべての式は結果として論理値(真/偽)を返します。副問い合わせはそれが何らかの行を返すのか否かの決定のために評価されます。副問い合わせはその周りを囲んでいる問い合わせから変数を参照でき、その変数は副問い合わせの一つの評価の途中では定数として振舞います。副問い合わせは最後の完結まで行かずに、一般的に少なくとも一つの行が返されたかどうかを判定し得るに足りる時点まで実行されます。副作用があるかないか予想するのは難しいので、(シーケンス関数を呼び出すような)何らかの副作用を持つ副問い合わせを記述するのは賢いことではありません。結果は何らかの行が返されるのかに依存し、それらの行の内容には依存しないことから、副問い合わせの出力リストは通常興味のあるものではありません。いった形式で記述することです。使う副問い合わせのようにこのルールには例外があります。それぞれの行に対して一つの出力行を生成します。この形式の右側はスカラー式が丸括弧で括られたリストです。左側の式の結果が右側の式のどれかと等しい場合、結果は真です。これは次の表記法の簡略形です。通常の取り決めに従うものです。同じ所に文書化するのが最適のようです。列を返さなければなりません。左側の式は副問い合わせの結果のそれぞれの行と比較、評価されます。(副問い合わせが行を返さない特別の場合を含め)等しい行が見つからない場合、結果は偽です。通常の取り決めに従うものです。同じように副問い合わせが最後まで評価されると思い込むのは賢くありません。この形式の右側は丸括弧で括られた副問い合わせで、左側のリストにある式の数と正確に同じ数の列を返さなければなりません。左側の式は副問い合わせの結果のそれぞれの行に対し、行に関して評価、比較が行なわれます。(副問い合わせが行を返さない特別の場合を含め)等しい行が見つからない場合、結果は偽です。論理式の通常ルールで結合されます。あって、且等しくない行同士は非等と見倣されます。