Реляционное исчисление — прикладная ветвь формальной теории, носящей название «исчисления предикатов первого порядка». В основе исчисления лежит понятие переменной с определенной для неё областью допустимых значений и понятие правильно построенной формулы, опирающейся на переменные, предикаты и кванторы. Наряду с реляционной алгеброй является получения результирующего отношения в реляционной модели данных. В зависимости от того, что является областью определения переменной, различают:
Исчисление кортежей
Исчисление доменов
s :string;
begin
readln (s);
a:=pos('(',s);
b:=pos(')',s);
if b=0 then write ('ERROR') else
begin
while s[a]<>')' do delete (s,a,1);
delete (s,a,1);
writeln (s);
end;
end.