relational calculus

Реляционное исчисление