Сведение задачи оптимизации структуры базы данных реального времени к задаче булевого программированиястатья