| dbo:abstract
|
- Für die theoretische Betrachtung und die semantisch genaue Definition von Anfragesprachen für Datenbanken werden Kalkülausdrücke genutzt, speziell der Tupelkalkül (englisch tuple calculus) und der Bereichskalkül (auch Domänen-Kalkül, englisch domain calculus). Aufgrund ihrer Ähnlichkeit werden sie hier zusammen betrachtet. Es existieren aber noch weitere kalkülartige Anfragesprachen. (de)
- 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 procedimental, el cálculo relacional es de tipo declarativo; pero siempre ambos métodos logran los mismos resultados. (es)
- The relational calculus consists of two calculi, the tuple relational calculus and the domain relational calculus, that are part of the relational model for databases and provide a declarative way to specify database queries. The raison d'être of the relational calculus is the formalization of query optimization, which is finding more efficient manners to execute the same query. The relational calculus is similar to the relational algebra, which is also part of the relational model: While the relational calculus is meant as a declarative language which prescribes no execution order on the subexpressions of a relational calculus expression, the relational algebra is meant as an imperative language: the sub-expressions of a relational algebraic expressions are meant to be executed from left-to-right and inside-out following their nesting. Per Codd's theorem, the relational algebra and the domain-independent relational calculus are logically equivalent. (en)
- 관계 논리(relational calculus)은 관계형 데이터베이스의 관계 모델(관계형 모델)에서 선언적인 방법으로 관계(관계, 테이블, 테이블)로 표현된 데이터 처리, 컴퓨터 과학의 연산 체계이다. 관계 논리에는 쌍 관계 논리(튜플 관계 논리)과 정의역 관계 논리가 있다. 관계로 표현된 데이터에 사용하는 연산 체계로는 관계 대수와 이 항목에서 설명하는 관계 논리(관계 계산)의 두 종류가 알려져 있다. 관계 논리는 선언적으로 데이터를 처리하는 연산 체계이고 관계 대수가 절차적으로 데이터를 취급하는 것과는 대조적이다. 열(row) 관계 논리와 정의 영역 관계 논리 표현 능력은 동등하다. 관계 논리를 구현한 데이터베이스 언어(질의어)로, 및 SQL, 등이 있다. 그러나 SQL은 관계 논리를 완전한 형태로 구현하지 않는다고 비판하는 의견도 있다. (ko)
- Il calcolo relazionale fa parte, assieme all'algebra relazionale e al datalog, dei linguaggi formali che permettono di esprimere query per la gestione di database organizzati in base al modello relazionale. Si suddivide in calcolo relazionale sulle tuple e calcolo relazionale sui domini (rispettivamente TRC e DRC). Ideato da Edgar F. Codd negli anni '70, si pone storicamente come base per lo sviluppo e l'evoluzione di SQL. (it)
- 関係論理 (かんけいろんり、関係計算、リレーショナル論理、リレーショナル計算、英: relational calculus) は、関係データベースの関係モデル (リレーショナルモデル) において、宣言的な方法で関係 (リレーション、表、テーブル) として表現されたデータを扱う、コンピュータ科学における演算の体系である。関係論理には、組関係論理 (タプル関係論理) と定義域関係論理とがある。関係として表現されたデータに対して行う演算体系としては、関係代数とこの項目で説明する関係論理 (関係計算) の2種類が知られている。関係論理は宣言的にデータを扱う演算体系であり、関係代数が手続き的にデータを扱うのとは対照的である。組関係論理と定義域関係論理の表現能力は同等である。 関係論理を実装したデータベース言語 (問い合わせ言語) としては、QUEL や SQL、Tutorial D などが挙げられる。ただし SQL については、関係論理を完全な形で実装していないとして批判する意見がある。 (ja)
- Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают:
* Исчисление кортежей
* (ru)
- Реляційне числення складається з двох числень, і , які є частиною реляційної моделі баз даних і надають декларативний спосіб задання запитів до бази даних. (uk)
- 关系演算包括元组关系演算和域关系演算，是数据库的关系模型的一部分，提供了查询数据库的声明性方式。关系演算与关系模型中的关系代数相反，因为关系代数提供的是查询数据库的过程性方式。 关系代数和关系演算是逻辑等价的：对于任何代数表达式，都有一个等价的演算表达式，反之亦然。 (zh)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3035 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- Für die theoretische Betrachtung und die semantisch genaue Definition von Anfragesprachen für Datenbanken werden Kalkülausdrücke genutzt, speziell der Tupelkalkül (englisch tuple calculus) und der Bereichskalkül (auch Domänen-Kalkül, englisch domain calculus). Aufgrund ihrer Ähnlichkeit werden sie hier zusammen betrachtet. Es existieren aber noch weitere kalkülartige Anfragesprachen. (de)
- 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 procedimental, el cálculo relacional es de tipo declarativo; pero siempre ambos métodos logran los mismos resultados. (es)
- 관계 논리(relational calculus)은 관계형 데이터베이스의 관계 모델(관계형 모델)에서 선언적인 방법으로 관계(관계, 테이블, 테이블)로 표현된 데이터 처리, 컴퓨터 과학의 연산 체계이다. 관계 논리에는 쌍 관계 논리(튜플 관계 논리)과 정의역 관계 논리가 있다. 관계로 표현된 데이터에 사용하는 연산 체계로는 관계 대수와 이 항목에서 설명하는 관계 논리(관계 계산)의 두 종류가 알려져 있다. 관계 논리는 선언적으로 데이터를 처리하는 연산 체계이고 관계 대수가 절차적으로 데이터를 취급하는 것과는 대조적이다. 열(row) 관계 논리와 정의 영역 관계 논리 표현 능력은 동등하다. 관계 논리를 구현한 데이터베이스 언어(질의어)로, 및 SQL, 등이 있다. 그러나 SQL은 관계 논리를 완전한 형태로 구현하지 않는다고 비판하는 의견도 있다. (ko)
- Il calcolo relazionale fa parte, assieme all'algebra relazionale e al datalog, dei linguaggi formali che permettono di esprimere query per la gestione di database organizzati in base al modello relazionale. Si suddivide in calcolo relazionale sulle tuple e calcolo relazionale sui domini (rispettivamente TRC e DRC). Ideato da Edgar F. Codd negli anni '70, si pone storicamente come base per lo sviluppo e l'evoluzione di SQL. (it)
- 関係論理 (かんけいろんり、関係計算、リレーショナル論理、リレーショナル計算、英: relational calculus) は、関係データベースの関係モデル (リレーショナルモデル) において、宣言的な方法で関係 (リレーション、表、テーブル) として表現されたデータを扱う、コンピュータ科学における演算の体系である。関係論理には、組関係論理 (タプル関係論理) と定義域関係論理とがある。関係として表現されたデータに対して行う演算体系としては、関係代数とこの項目で説明する関係論理 (関係計算) の2種類が知られている。関係論理は宣言的にデータを扱う演算体系であり、関係代数が手続き的にデータを扱うのとは対照的である。組関係論理と定義域関係論理の表現能力は同等である。 関係論理を実装したデータベース言語 (問い合わせ言語) としては、QUEL や SQL、Tutorial D などが挙げられる。ただし SQL については、関係論理を完全な形で実装していないとして批判する意見がある。 (ja)
- Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является способом получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают:
* Исчисление кортежей
* (ru)
- Реляційне числення складається з двох числень, і , які є частиною реляційної моделі баз даних і надають декларативний спосіб задання запитів до бази даних. (uk)
- 关系演算包括元组关系演算和域关系演算，是数据库的关系模型的一部分，提供了查询数据库的声明性方式。关系演算与关系模型中的关系代数相反，因为关系代数提供的是查询数据库的过程性方式。 关系代数和关系演算是逻辑等价的：对于任何代数表达式，都有一个等价的演算表达式，反之亦然。 (zh)
- The relational calculus consists of two calculi, the tuple relational calculus and the domain relational calculus, that are part of the relational model for databases and provide a declarative way to specify database queries. The raison d'être of the relational calculus is the formalization of query optimization, which is finding more efficient manners to execute the same query. Per Codd's theorem, the relational algebra and the domain-independent relational calculus are logically equivalent. (en)
|
| rdfs:label
|
- Kalkül (Datenbank) (de)
- Cálculo relacional (es)
- Calcolo relazionale (it)
- 관계 논리 (ko)
- 関係論理 (ja)
- Relational calculus (en)
- Реляционное исчисление (ru)
- Реляційне числення (uk)
- 关系演算 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
