Логические языки спецификаций программ реагирующих систем
Руководитель проекта: Байжанов Б.С.
Исполнители проекта: В.В.Вербовский
Организация: Ин-т пробл. информат. и упр.
Инвентарный номер: 0299РК00524
Регистрационный номер: 0197РК00327
Ключевые слова: реагирующие, системы, логические, языки, методика,
Подготовлена методика исследования темпоральной логики действия, позволяющая решить вопросы формального исчисления (непротиворечивость, теорема полноты, разрешимсть, выводимость). Получен критерий обогащения моделей слабо О-минимальных теорий одноместными предикатами. Доказано следующее: любая унарная, определимая в слабо О-минимальной структуре функция кусочно-локально-монотонна и имеет конечное число точек разрыва; для слабо О-минимальных областей определения баз данных выполняется сведение локально-порядково-генерических запросов к запросам чистого порядка.