реляционное исчисление relational calculus Декларативный язык для описания отношений через другие отношения; является основой языков запросов к реляционным базам данных. Языки запросов, основанные на реляционном исчислении, позволяют описать поисковое условие, не задавая последовательности необходимых для ответа действий.