タプルtはリレーションR中にない
そのようなタプルはいくつあるのか?
条件を満たすタプルを生成するごとに
u[A]>t[A]の判定が変化する
問題があるタプルリレーショナル論理式を除外するために「制限付きタプルリレーショナル論理式」を定義する