EE-Stability and Promise in Behavior of Dynamic Deductive Data Bases

M. I. Dekhtiar’, A. Ya. Dikovsky


Abstract: Several properties of steady behavior of discrete dynamic systems (among them some variants of stability and homeostaticity) are formulated in terms of logic programs with updates over finite databases with integrity constraints. The formal model we use is based on a new concept, that of bounded disturbance of an active medium. In this work we explore computational complexity of the properties introduced here, under constraints which are of interest for real applications.