Система управления базами данных. Моделирование и формализация