Abstract
A model of information systems such that data depend on a state of the system is introduced. A logic is developed enabling us to define query languages for such systems.
Get full access to this article
View all access options for this article.