EE-стабильность и перспективность поведения динамических дедуктивных баз данных

Работа содержит определения некоторых свойств устойчивого поведения дискретных динамических систем (в частности, - стабильности и гомеостатичности). Определения формулируются в терминах логических программ с модификациями над конечными базами данных с ограниченями целостности. Формальная модель, используемая нами, основана на новом понятии - ограниченном воздействии внешней среды. Основные результаты работы состоят в оценках вычислительной сложности рассматриваемых свойств при различных ограничениях, представляющих интерес для приложений.