Abstract
This paper presents the design, implementation and evaluation of an application following the deductive approach. The application concerns a safety critical system and for modelling the application domain two conceptual models, developed within the ESPRIT project TEMPORA, were used: the Entity Relationship Time (ERT) for the structural part and the Conceptual Rule Language (CRL) for constraints, derivation and event-action rules. The mapping from the conceptual level to the deductive DBMS platform, namely MegaLog, is described with some sample results. An overview of the system, along with a simple user interface for creating different application scenarios are presented and are followed by some statistic results of a real life case study and an evaluation of the proposed approach.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Budde, R. (ed.) Approaches to prototyping, Springer-Verlag, 1984.
Chen P.P-C. The Entity-Relationship Model-Toward a Unified View of Data ACM TODS vol.1 no.1, pp.9–36, March 1976.
Elmasri, R. and Navathe, S.B. Fundamentals of Database Systems, The Benjamin/Cummings Publishing Company, Inc. 1989.
Gallaire, H. and Minker, J. (eds) Logic and Databases, Plenum Press, 1978.
Gallaire, H., Minker, J. and Nicolas, J.M. Logic and Databases: A Deductive Approach, Computing Surveys, Vol 16., No. 2, June 1984.
Gardarin, G. and Valduriez, P. Relational Databases and Knowledge Bases, Addison-Wesley Publishing Company, Inc., 1989.
Horsfield, T., Bocca, J. and Dahmen, M., MegaLog User Guide, 1990.
Katsouli, E., Papastamatiou, G.,Petrounias, I.,Loucopoulos,P.,Theodoulidis, B., Revision of the Rule Language of TEMPORA, E2469/UMIST/NT1.1/1/Draft, 1992.
Kim W., Banerjee J., Chou H.T., Garza J.F., Woelk D. Composite Object Support in Object-Oriented Database Systems, Proc. 2nd Int. Conf. on Object-Oriented Programming Systems, Languages and Applications, Orlando, 1987.
Lloyd, J.W. and Topor, B.W. A Basis for Deductive Database Systems, The Journal of Logic Programming, 1985(2), pp 93–109.
Lloyd, J.W. and Topor, B.W. A Basis for Deductive Database Systems II, The Journal of Logic Programming, 1986(5), pp 55–67.
Loucopoulos, P.,Karakostas, V., Modelling and Validating office information systems: an object and logic oriented approach, Software Engineering Journal, March 1989.
Minker, J. (ed). Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, Inc., 1988.
Petrounias, I., Loucopoulos, P. Design, Implementation & Evaluation of an Application following the Deductive Approach, 4th DAISD'93, Catalonia, 1993.
Rolland, C. and C. Richard, The REMORA Methodology for Information Systems Development and Management, Conference on Comparative Review of Information System Design Methodologies, North Holland, 1982.
Tarski, A. Logic semantics and metamathematics, Oxford University Press, 1956.
Theodoulidis, C., Wangler, B. and Loucopoulos, P. Requirements Specification in TEMPORA, Proceedings CAiSE'90, Kista, Sweden, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petrounias, I., Loucopoulos, P. (1994). A rule-based approach for the design and implementation of information systems. In: Jarke, M., Bubenko, J., Jeffery, K. (eds) Advances in Database Technology — EDBT '94. EDBT 1994. Lecture Notes in Computer Science, vol 779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57818-8_49
Download citation
DOI: https://doi.org/10.1007/3-540-57818-8_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57818-5
Online ISBN: 978-3-540-48342-7
eBook Packages: Springer Book Archive