Relational algebra is essentially e

Relational algebra is essentially equivalent in expressive to relational calculus (and thus first-order logis); this result is known as Codd's theorem.
Some care, however, 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:

リレーショナル代数はリレーショナル計算（したがって、一次ロジ）への表現力で本質的に同等である。この結果はコッドの定理として知られている。
いくつかの注意が、しかし、否定から2言語間で発生する可能性がある不整合を避けるために注意しなければならず、計算の式に適用し、無限集合に当てはまる可能性が数式を構築する可能なタプルの、関係代数の差分演算子は常に有限で結果を返している間。

結果 (日本語) 3:

relational algebra関係計算to表現においては本質的に等価である（thus first-order静かな)、この結果はコッドの定理として知られる。
しかしいくつかのケア、、、否定からの2つの言語の間で起こることがmay mismatchを避けるために、計算の式にapplied、constructs可能なタプルのinfiniteセットの上でそれは本当かもしれない式シャープalgebraのdifference operator always返しながら、finite result .