Mostra el registre d'ítem simple

dc.contributor.authorSancho Samsó, María Ribera
dc.contributor.authorOlivé Ramon, Antoni
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2016-11-28T08:54:03Z
dc.date.available2016-11-28T08:54:03Z
dc.date.issued1993-06
dc.identifier.citationSancho, Maria-Ribera, Olive, A. "The Odissea approach to the design of information systems from deductive conceptual models". 1993.
dc.identifier.urihttp://hdl.handle.net/2117/97277
dc.description.abstractThis paper describes the general framework and some details of the ODISSEA approach to conceptual modelling and design of information systems. We use a logic-based language for the specification of conceptual models and apply extensively logic-based techniques for the generation of a system design from a conceptual model. The main originality of our work is that our language is based on the deductive approach to conceptual modelling, instead of the usual operational approach. Deductive conceptual models (DCM) show a number of significant advantages, but are much more difficult to design and implement. We deal with the problem of generating a design for a given DCM. We present a new, formal method for generating transactions from a DCM. The method uses the SLDNF proof procedure and can be implemented in Prolog environments.
dc.format.extent27 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-16--R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.otherODISSEA
dc.subject.otherInformation systems
dc.subject.otherDeductive conceptual models
dc.subject.otherDCM
dc.subject.otherSLDNF proof procedure
dc.titleThe Odissea approach to the design of information systems from deductive conceptual models
dc.typeExternal research report
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.rights.accessOpen Access
drac.iddocument1878552
dc.description.versionPostprint (published version)
upcommons.citation.authorSancho, Maria-Ribera, Olive, A.
upcommons.citation.publishedtrue


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets