Исследование формальных систем, связанных с модальной логикой и базами данныхOn Formal Systems arisingin Modal Logic and Database Theory

В диссертационной работе исследуются алгоритмическая разрешимость, аксиоматизируемость, вычислительная сложность и переформулируемость в формальных системах, возникающих в модальной логике и теории баз данных. Эти системы объединяет общий методологический подход: установление разрешимости логического следования опирается на анализ древовидных моделей, а неразрешимости — на вынуждение структур, родственных с прямоугольной сеткой.Результаты о переформулируемости логических запросов и оценки на длину переформулировок,полученные в ходе анализа древовидных моделей и автоматов, работающих на деревьях,могут быть интересны инженерам, работающим с реляционными базами данных.