El c�lculo relacional usa un enfoque completamente diferente al �lgebra relacional. No obstante, los dos lenguajes son l�gicamente equivalentes. Esto significa que cualquier consulta que pueda resolverse en un lenguaje puede resolverse en el otro. La soluci�n para toda consulta en este tipo de c�lculo se define por:
- Una lista de resultados
- Una sentencia de cualificaci�n
La lista de resultados est� clara, son aquellos registros que cumplen las condiciones que deseamos. La sentencia de cualificaci�n contiene las condiciones que deseamos que cumplan los registros de la lista de resultados. La diferencia entre el c�lculo y el �lgebra radica en que el c�lculo realiza la operaci�n en un �nico paso, sin necesidad de tener que obtener tablas intermedias, el �lgebra realiza las operaciones paso a paso.
Normalmente el c�lculo relacional se apoya en alg�n lenguaje de interrogaci�n de bases de datos como puede ser el SQL y que desarrollar� m�s adelante.
El c�lculo relacional incluye un concepto nuevo denominado cuantificador, los cuantificadores tratan de averiguar el n�mero de registros afectados por una determinada operaci�n, incluso antes de realizarla. Seg�n su naturaleza los podemos dividir en dos grupos:
�Cuantificadores existenciales
Son aquellos que tratan de averiguar el n�mero de registros que devolver�a un tipo de consulta. Por ejemplo: saber el n�mero de clientes de Madrid que han comprado el producto 2015. Si el n�mero de registros que satisfacen esta relaci�n es mayor que cero, podemos generar la consulta para lanzar posteriormente un informe, en caso contrario se puede enviar un mensaje al usuario para que sepa que no hay ning�n cliente con estas caracter�sticas.
�Cuantificadores universales
Son aquellos que indican que una condici�n se aplica a todas las filas de alg�n tipo. Se usa para brindar la misma capacidad que la operaci�n divisi�n del �lgebra relacional.