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