A rule-based approach for the design and implementation of information systems

  • Ilias Petrounias
  • Pericles Loucopoulos
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 779)


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.


Garbage Collection Weapon System Derivation Rule Page Fault Safety Critical System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Budde, R. (ed.) Approaches to prototyping, Springer-Verlag, 1984.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    Elmasri, R. and Navathe, S.B. Fundamentals of Database Systems, The Benjamin/Cummings Publishing Company, Inc. 1989.Google Scholar
  4. 4.
    Gallaire, H. and Minker, J. (eds) Logic and Databases, Plenum Press, 1978.Google Scholar
  5. 5.
    Gallaire, H., Minker, J. and Nicolas, J.M. Logic and Databases: A Deductive Approach, Computing Surveys, Vol 16., No. 2, June 1984.Google Scholar
  6. 6.
    Gardarin, G. and Valduriez, P. Relational Databases and Knowledge Bases, Addison-Wesley Publishing Company, Inc., 1989.Google Scholar
  7. 7.
    Horsfield, T., Bocca, J. and Dahmen, M., MegaLog User Guide, 1990.Google Scholar
  8. 8.
    Katsouli, E., Papastamatiou, G.,Petrounias, I.,Loucopoulos,P.,Theodoulidis, B., Revision of the Rule Language of TEMPORA, E2469/UMIST/NT1.1/1/Draft, 1992.Google Scholar
  9. 9.
    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.Google Scholar
  10. 10.
    Lloyd, J.W. and Topor, B.W. A Basis for Deductive Database Systems, The Journal of Logic Programming, 1985(2), pp 93–109.Google Scholar
  11. 11.
    Lloyd, J.W. and Topor, B.W. A Basis for Deductive Database Systems II, The Journal of Logic Programming, 1986(5), pp 55–67.Google Scholar
  12. 12.
    Loucopoulos, P.,Karakostas, V., Modelling and Validating office information systems: an object and logic oriented approach, Software Engineering Journal, March 1989.Google Scholar
  13. 13.
    Minker, J. (ed). Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers, Inc., 1988.Google Scholar
  14. 14.
    Petrounias, I., Loucopoulos, P. Design, Implementation & Evaluation of an Application following the Deductive Approach, 4th DAISD'93, Catalonia, 1993.Google Scholar
  15. 15.
    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.Google Scholar
  16. 16.
    Tarski, A. Logic semantics and metamathematics, Oxford University Press, 1956.Google Scholar
  17. 17.
    Theodoulidis, C., Wangler, B. and Loucopoulos, P. Requirements Specification in TEMPORA, Proceedings CAiSE'90, Kista, Sweden, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Ilias Petrounias
    • 1
  • Pericles Loucopoulos
    • 1
  1. 1.Information Systems Group, Department of ComputationUMISTManchesterUK

Personalised recommendations