Процедурный язык для разработки триггеров Реляционное исчисление Грамматика Пере