Computação

Capítulo 7-? Cálculo Relacional
O Cálculo Relacional (CR) é uma linguagem de consulta formal. Utilizando-se de uma expressão declarativa pode-se especificar uma consulta. Uma expressão de cálculo permite a descrição da consulta desejada sem especificar os procedimentos para obtenção dessas informações, ou seja, é não-procedural. Contudo, tal consulta deve ser capaz de descrever formalmente a informação desejada, com exatidão. Existem dois tipos: Cálculo Relacional de Tuplas (CRT) e Cálculo Relacional de Domínio (CRD). Eles são subconjuntos simples de lógica de primeira ordem. No Cálculo Relacional existem variáveis, constantes, operadores lógicos, de comparação e quantificadores. As expressões de Cálculo são chamadas de fórmulas. Uma tupla de respostas é essencialmente uma atribuição de constantes às variáveis que levam a fórmula a um estado verdadeiro. Em CRT, as variáveis são definidas sobre tuplas. Já em CRD, variáveis são definidas sobre o domínio dos elementos (ou seja, sobre os valores dos campos). Todas as expressões de consulta descritas em CR possuem equivalentes em Álgebra Relacional.

Cálculo Relacional de Tuplas
É baseado na especificação de um número de variáveis de tuplas. Cada variável tupla pode assumir como seu valor qualquer tupla da relação especificada. Uma consulta em CRT é especificada da seguinte forma: {variável tupla | predicado} O resultado de tal consulta é o conjunto de todas as variáveis tuplas para as quais o predicado é indicado como verdadeiro. Uma expressão genérica do cálculo relacional de tuplas tem a forma{t1.A1, t2.A2,..., tn.An | predicado(t1, t2,..., tn, tn+1, tn+2, ...,tn+m)} onde t1, t2,..., tn, tn+1, tn+2, ...,tn+m são variáveis de tuplas, cada Ai é um atributo da relação na qual ti se encontra . O predicado é uma fórmula do cálculo relacional de tuplas. As fórmulas atômicas de cálculo de predicados podem ser uma das seguintes: 1-) Uma fórmula atômica R(ti), onde R é o nome de uma relação e ti é uma variável de tupla.