Математическая модель реляционной базы данных на основе лямбда-исчисления с зависимыми типамидипломная работа (Специалист)