Specification of information systems by state machine deduced from deductive conceptual models
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/373490
Tipus de documentText en actes de congrés
Data publicació1992
EditorUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Abstract
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.
CitacióVillena, S.; Clares, B. Specification of information systems by state machine deduced from deductive conceptual models. A: "Proceedings of the 3rd International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992, p. 49-79.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
3DAISD_03_Specification of information systems.pdf | 1,482Mb | Visualitza/Obre |