Dynamic Information Systems

Publisher Website
Google Scholar
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.