Логические языки спецификаций реагирующих информационных систем
Руководитель проекта: Б.С.Байжанов
Исполнители проекта: В.В.Вербовский
Организация: Ин-т пробл. информат. и упр.
Инвентарный номер: 0205РК00017
Регистрационный номер: 0103РК00123
Ключевые слова: Математическая логика, Информационные системы, Логические языки спецификаций, Языки спецификаций,
Методами классической математической логики исследована сводимость расширенных запросов к ограниченным над С-минимальной областью определения баз данных. Доказана эквивалентность конечной переменчивости в исчислении длительности и 0-минимальности. Получено описание обогащения почти 0-минимальных теорий выпуклым предикатом.