Skip to main content
SpringerLink
Log in

A Deductive Object-Oriented Approach to Information System Modeling

  • Conference paper
Advances in Databases and Information Systems

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

In this paper we propose an approach to modeling dynamics and declarativeness in information systems (IS) by using general rules. The approach is based on object-oriented and logic languages co-operatively working within IS environment. The communication between the languages is organized by means of transformations from one language to another. We also consider methods for optimization of the co-operative work. A set of transformations, the usage of some general rules for problem solving and optimization technique based on partial deduction are presented and illustrated by means of examples.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller, Methods and Rules, ACM SIGMOD, 5:32–41, 1993.

    Article  Google Scholar 

  2. E. Bertino, G. Gerrini, Deductive Object Bases, Proc of 8th European Conference, ECOOP’94, Springer-Verlag, LNCS,821, pages 213–236, 1994.

    Google Scholar 

  3. F. Bry, Query evaluation in recursive databases: bottom-up and top-down reconciled, Data & Knowledge Engineering, October, 5(4):289–312, 1990.

    Article  Google Scholar 

  4. M. Bouzeghoub, E. Metais, Semantic Modeling of Object Oriented Databases, Proc. of the 17th Int. Conference on Very Large Data Bases, Barcelona, September, pages 3–4, 1991.

    Google Scholar 

  5. R. M. Burstall, J. Darlington, Some transformations for developing recursive programs, Journal of ACM, 24(1):44–67, 1977.

    Article  MathSciNet  MATH  Google Scholar 

  6. S. Ceri, G. Gottlob, and L. Tanca, Logic Programming and Databases, Springer-Verlag, Berlin, 1990.

    Book  Google Scholar 

  7. S. Greco, N. Leone, and P. Rullo, COMPLEX: An Object-Oriented Logic Programming System, IEEE Transactions on Knowledge and Data Engineering, 4(4):344–359,1992.

    Article  Google Scholar 

  8. H-M. Haav, M. Matskin, Using Partial Deduction for Automatic Propagation of Changes in OODB, Eds. H. Kangassalo et al. Information Modelling and Knowledge Bases IV: Foundations, Theory and Applications, IOS Press, Amsterdam, 339–352.

    Google Scholar 

  9. H-M. Haav, A Meta-Language for Specification of Evolving Class and Object Lattices in OODB, In: J. Eder and L.A. Kalinichenko (Eds.) Proc. of the Second International East/West Database Workshop, Springer, pages 147–159, 1995.

    Google Scholar 

  10. M. H. Ibrahim, F. A. Cummins, KSL/Logic: Integration of Logic with Objects, Proc. 1990 Int. Conf. on Comp. Lang., New Orleans, March 1990, Los Alamitos, CA: IEEE Comp. Soc. Press, pages 228–35, 1990.

    Chapter  Google Scholar 

  11. M. Jeusfeld, M. Jarke, From relational to object-oriented integrity simplification, Proc. of the 2nd Int. Conf. on Deductive and Object-Oriented Databases, Munich, Dec, 1991.

    Google Scholar 

  12. M. Kifer and J. Wu, A Logic for Programming with Complex Objects, Journal of Computer and Systems Sciences, 47:77–120, 1993.

    Article  MathSciNet  MATH  Google Scholar 

  13. M. Kifer, G. Lausen, and J. Wu, Logical Foundations of Object-Oriented and Frame-Based Languages. Technical Report 93/06, Department of Computer Science, University at Stony Brook, April, 1993.

    Google Scholar 

  14. J. Komorowski, A Prolegomenon to Partial Deduction, Fundamenta Informaticae, 1(18):41–64, 1993.

    MathSciNet  Google Scholar 

  15. LOGIDATA+:Deductive Databases with Complex Objects, P. Atzeni (Ed.), Springer-Verlag, LNCS, 701, 1993.

    Google Scholar 

  16. G. M. Lohman, B. Lindsay, H. Pirahesh, and K. B. Schiefer, Extensions to Starburst: Objects, Types, Functions and Rules, Communications of ACM, 34(10):94–110, 1991.

    Article  Google Scholar 

  17. M. Matskin, J. Komorowski, Partial Deduction and Manipulation of Classes and Objects in an Object-Oriented Environment, Proceedings of the First Compulog-Network Workshop on Programming Languages in Computational Logic, Pisa, Italy, April 6–7, page 3, 1992.

    Google Scholar 

  18. C. Moss, Prolog++. The Power of Object-Oriented and Logic Programming, Addison-Wesley, 1994.

    Google Scholar 

  19. I. Petrounias, P. Loucopoulos, A Rule-Based Approach for the Design and Implementation of Information Systems, Proc. of EDBT’94, Springer-Verlag, LNCS 779, pages 159–172, 1994.

    Google Scholar 

  20. E. Tyugu, M. Matskin, J. Penjam, and P. Eomois, NUT — an Object-Oriented Language, Computer Science and Artificial Intelligence, 6:521–542, 1986.

    Google Scholar 

  21. M. Stonebraker, G. Kemnitz, The POSTGRES Next Generation Database Management System, Communications of ACM, 34(10):78–94, 1991.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Institute of Cybernetics of the Estonian Academy of Sciences, Tallinn, Estonia

    Mihhail Matskin & Hele-Mai Haav

Authors
  1. Mihhail Matskin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hele-Mai Haav
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Klagenfurt, Universitätsstraße 65, A-9020, Klagenfurt, Austria

    Johann Eder

  2. Institute for Problems of Informatics, Russian Academy of Sciences, Vavilov Street 30/6, 117900, V-334, Moscow, Russian Federation

    Leonid A. Kalinichenko

Rights and permissions

Reprints and permissions

Copyright information

© 1996 British Computer Society

About this paper

Cite this paper

Matskin, M., Haav, HM. (1996). A Deductive Object-Oriented Approach to Information System Modeling. In: Eder, J., Kalinichenko, L.A. (eds) Advances in Databases and Information Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-1486-4_28

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-1486-4_28

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76014-6

  • Online ISBN: 978-1-4471-1486-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation