Specification of information systems by state machine deduced from deductive conceptual models
Carregant...
El pots comprar en digital a:
El pots comprar en paper a:
Títol de la revista
ISSN de la revista
Títol del volum
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Càtedra / Departament / Institut
Tipus de document
Text en actes de congrés
Data publicació
Editor
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Part de
Condicions d'accés
Accés obert
item.page.rightslicense
Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Llevat que s'hi indiqui el contrari, els seus continguts estan subjectes a la llicència de Creative Commons: Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Datasets relacionats
Projecte CCD
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.
Descripció
Document relacionat
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.