has to be taken to avoid a mismatch

has to be taken to avoid a mismatch that may arise between the two languages since negation, applied to a formula of the calculus, constructs a formula that may be true on an infinite set of possible tuples, while the difference operator of relational algebra always returns a finite result.

結果 (日本語) 1:

微積分の式に適用の否定はリレーショナル代数差演算子は常に有限の結果を返します、可能な組の無限セットで真実である可能性があります数式を構築するための 2 つの言語間で生じる不一致を避けるためにする必要があります。

結果 (日本語) 2:

関係代数の差オペレータは常に返しながら否定が、計算の式に適用されるので、二つの言語の間で発生する可能性がある不整合を避けるように注意する必要があり、可能なタプルの無限集合に当てはまる可能性が式を構築有限結果。

結果 (日本語) 3:

否定するので、2つの言語の間で起こるかもしれないミスマッチを避けるために、計算の式に適用し、タプル構成可能無限のセットについてのは本当かもしれないが公式、関係代数の有限差分演算子は常に結果を返します。