RELATIONAL CALCULUS

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