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