Теоретические основы реляционного исчисления, использование исчисления предикато