German |
lexicalization | deu: kalkül |
Japanese |
has gloss | jpn: 関係論理 (かんけいろんり、関係計算、リレーショナル論理、リレーショナル計算、英: relational calculus) は、関係データベースの関係モデル (リレーショナルモデル) において、宣言的な方法で関係 (リレーション、表、テーブル) として表現されたデータを扱う、コンピュータ科学における演算の体系である。 関係論理には、組関係論理 (タプル関係論理) と定義域関係論理とがある。 関係として表現されたデータに対して行う演算体系としては、関係代数とこの項目で説明する関係論理 (関係計算) の2種類が知られている。 関係論理は宣言的にデータを扱う演算体系であり、関係代数が手続き的にデータを扱うのとは対照的である。 組関係論理と定義域関係論理の表現能力は同等である。 |
lexicalization | jpn: 関係論理 |
Russian |
has gloss | rus: Реляционное исчисление — прикладная ветвь формального механизма исчисления предикатов первого порядка. В основе исчисления лежит понятие переменной с определенной для нее областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают: * Исчисление кортежей * Исчисление доменов |
lexicalization | rus: Реляционное исчисление |
Castilian |
has gloss | spa: El Cálculo relacional es un lenguaje de consulta que describe la respuesta deseada sobre una Base de datos sin especificar como obtenerla, a diferencia del Álgebra relacional que es de tipo procedural, el cálculo relacional es de tipo declarativo; pero siempre ambos métodos logran los mismos resultados. |
lexicalization | spa: Calculo relacional |
lexicalization | spa: cálculo relacional |
Chinese |
has gloss | zho: 关系演算有两种演算: 元组关系演算和域关系演算,它们是数据库的关系模型的一部分,提供了指定数据库查询的声明性方式。这相对于也是关系模型一部分的关系代数,它提供了指定查询的过程性方式。 |
lexicalization | zho: 关系演算 |