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

времени, что влияет на время доступа к БД и реализацию модулей. Задан набор программных модулей, которые используют информацию из набора полей, с известной частотой заполняющихся информацией в реальном времени. Задача решена, если работа всех модулей завершена к заданному сроку. Сложность данной постановки задачи и в том, что модули могут быть зависимыми, то есть работают в определенной последовательности, и в том, что на оптимизацию в режиме реального времени выделить достаточные вычислительные ресурсы и время затруднительно. Поэтому решение задачи в разрабатываемой авторами инструментальной САПР систем реальном времени разделяется на два этапа: (а) предварительный этап (не в реальном времени), на котором осуществляется формирование групп близких модулей и (б) этап решения задачи в реальном времени, используя выполненную на предварительном этапе оптимизацию расположения полей в файлах. Определяется избыточность информации трёх типов: внутрифайловая, межфайловая, внутримодульная. Предлагается специальная модель спроектированной БД и построены аналитические формулы для вычисления количества неиспользуемых модулями полей.