Specification of Information Systems by State Machine Deduced from Deductive Conceptual Models.
Salvador Villena, Buenaventura Clares Rodríguez · UPCommons institutional repository (Universitat Politècnica de Catalunya) · 1992
We propose a transformation from declarative approach to conceptual information system modelling onto an operational implementation. We will introduce an alternative way to obtain the mínimum model of the Herbrand associated with a logic program. This process provides a new expression of a logic program as a fínite state machine. This process is then extended to apply over the specification of the information systems by deductive conceptual models.