Реляционное исчисление базируется на теоретических основах исчисления предикатов. Предикат P(x1,x2,...,xn) это функция, принимающая значения «Истина» или «ложь», от аргументов, определенных в конкретных областях D1,D2,...,Dn. При построении высказываний используются
логические связки, например
конъюнкция, дизъюнкция, отрицание,
термы сравнения с операциями
и др., а также кванторы существования 
и общности 
.
Рассмотрим пример применения кванторов. Высказывание - 
означает-что среди элементов множества X найдется, по крайней мере, один, при котором оказывается истинным неравенство, заключенное в скобках. Высказывание 
означает, что для всех элементов множества X некоторая функция f(x) больше заданного a.
В реляционном исчислении принято связывать отношением R(A1,...,An) некоторый предикат P(x1,...,xn), аргументы, которых имеют одинаковые области определения, таким образом, что если P(a1,a2,...,an)=1, то кортеж <a1,a2,...,an> принадлежит отношению 
, для i=1,n, в противном случае кортеж не входит в состав указанного отношения. Отсюда следует, что посредством задания некоторого предиката может быть задано и соответствующее ему отношение.
Из сказанного видно, что реляционное исчисление позволяет описать самые разнообразные виды искомых отношений. Однако отсутствие процедурности существенно затрудняет реализацию языков, основанных на реляционном исчислении. Решении этой проблемы возможно при использовании методов реляционной алгебры.
