Skip to main content
SpringerLink
Log in

From relational to object-oriented integrity simplification

  • Conference paper
  • First Online:
Deductive and Object-Oriented Databases (DOOD 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 566))

Included in the following conference series:

Abstract

Relational integrity checking technology can be transfered to deductive object bases by utilizing a simple logical framework for objects. The principles of object identity, aggregation and classification allow a more efficient constraint control by finer granularity of updates, composite updates and semantic constraint simplification. In many cases, meta-level constraints and deductive rules can be handled efficiently by a stepwise compilation approach. An extended integrity subsystem with these features has been implemented in the deductive object manager Concept Base.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S. (1990). Towards a deductive object-oriented database language. Data & Knowledge Engineering 5, 1990.

    Google Scholar 

  2. Abrial, J.R. (1974). Data semantics. In Klimbie and Koffeman (eds.): Data Base Management, North-Holland Publ.

    Google Scholar 

  3. Abiteboul, S., Grumbach, S. (1991). A rule-based language with functions and sets. ACM Transactions on Database Systems 16(1), March 1991.

    Google Scholar 

  4. Borgida, A., Brachman, R.J., McGuinness, D.L., Resnick, L.A. (1989). CLASSIC: a structural data model for objects. Proc. ACM-SIGMOD Int. Conf. on Management of Data, Portland, Oregon.

    Google Scholar 

  5. Bry, F., Decker, H., Manthey, R. (1988). A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. Proc. EDBT'88, Venice, Italy.

    Google Scholar 

  6. Beeri, C. (1990). A formal approach to object-oriented databases. Data & Knowledge Engineering 5, 1990.

    Google Scholar 

  7. Bouzeghoub, M., Metais, E. (1991). Semantic modeling of object-oriented databases. Proc. 17th Int. Conf. on Very Large Data Bases, Barcelona.

    Google Scholar 

  8. Brachman, R.J. (1983). What IS-A is and isn't: an analysis of taxonomic links in semantic networks. IEEE Computer 16(10), Oct. 1983.

    Google Scholar 

  9. Dayal, U., Buchmann, A., McCarthy, D. (1988). Rules are objects too: a knowledge model for an active object-oriented database system. Proc. 2nd Int. Workshop on Object-Oriented Database Systems, Bad Münster, Germany.

    Google Scholar 

  10. Decker, H. (1986). Integrity enforcement on deductive databases. Proc. First Int. Conf. on Expert Database Systems, Menlo Park, Calif.

    Google Scholar 

  11. Hudson, S.E., King, R. (1987). Object-oriented database support for software environments. Proc. ACM-SIGMOD Int. Conf. on Management of Data, San Francisco, Calif.

    Google Scholar 

  12. Hull, R., King, R. (1987). Semantic database modeling: survey, applications, and research issues. ACM Computing Surveys 19(3), Sept. 1987.

    Google Scholar 

  13. Jarke, M. (ed., 1991). Concept Base V3.0 user manual. Report MIP-9106, Universität Passau.

    Google Scholar 

  14. Jagannathan, D., Guck, R.L., Fritchman, B.L., Thompson, J.P., Tolbert, D.M. (1988). SIM: a database system based on the semantic data model. Proc. ACM-SIGMOD Int. Conf. on Management of Data, Chicago, Ill.

    Google Scholar 

  15. Jarke, M., Jeusfeld, M., Rose, T. (1989). Software process modeling as a strategy for KBMS implementation. Proc. First Int. Conf. on Deductive and Object-Oriented Databases, Kyoto, Japan.

    Google Scholar 

  16. Jeusfeld, M., Krüger, E. (1990). Deductive integrity maintenance in an object-oriented setting. Report MIP-9013, Universität Passau, Germany, 1990.

    Google Scholar 

  17. Jeusfeld, M., Mertikas, M., Wetzel, I., Jarke.M., Schmidt, J.W. (1990). Database application development as an object modeling activity. Proc. 16th Int. Conf. on Very Large Data Bases, Brisbane, Australia.

    Google Scholar 

  18. Kifer, M., Lausen, G., Wu, J. (1990). Logical foundations of object-oriented and frame-based languages. Reihe Informatik 3/1990, Universität Mannheim.

    Google Scholar 

  19. Koubarakis, M., Mylopoulos, J., Stanley, M., Borgida, A. (1989). Telos: features and formalization. Technical Report KR-89-04, University of Toronto, Ont.

    Google Scholar 

  20. Krüger, E. (1989). Integritätsprüfung in deduktiven Objektbanken am Beispiel von Concept Base. Diploma thesis, Universität Passau, Germany.

    Google Scholar 

  21. Kowalski, R., Sadri, F. (1988). A theorem-proving approach to database integrity. In Minker (ed.): Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann Publishers.

    Google Scholar 

  22. Lyngbæk, P., Wilkinson, K., Hasan, W. (1990). The Iris kernel architecture. Proc. EDBT'90, Venice, Italy.

    Google Scholar 

  23. Lloyd, J.W., Sonnenberg, E.A., Topor, R.W. (1986). Integrity constraint checking in stratified databases. Technical Report 86/5, Department of Computer Science, University of Melbourne.

    Google Scholar 

  24. Lloyd, J.W., Topor, R.W. (1985). A basis for deductive database systems. J. Logic Programming 2, 1985.

    Google Scholar 

  25. Laenens, E., Vermeir, D. (1990). A fixpoint semantics for ordered logic. J. Logic Computat. 1(2), 1990.

    Google Scholar 

  26. Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M. (1990). Telos: a language for representing knowledge about information systems. ACM Trans. Information Systems 8(4).

    Google Scholar 

  27. Miethsam, A., Jarke, M., Jeusfeld, M., Gocek, M. (1991). Towards a logic-based reconstruction of software configuration management. Report, ESPRIT Basic Reseach Action 3012 (CompuLog), RWTH Aachen, July 1991.

    Google Scholar 

  28. Nicolas, J.-M. (1982). Logic for improving integrity checking in relational databases. Acta Informatica 18(3), Dec. 1982.

    Google Scholar 

  29. Naqvi, S., Tsur, S. (1989). A logical language for data and knowledge bases. Computer Science Press.

    Google Scholar 

  30. Rios-Zertuche, D., Buchmann, A. (1990). Execution models for active databases: a comparison. Technical Report, GTE Laboratories, Waltham, Mass., 1990.

    Google Scholar 

  31. Rehm, S. et al. (1988). Support for design processes in a structurally object-oriented database system. Proc. 2nd Int. Workshop on Object-Oriented Database Systems, Bad Münster, Germany.

    Google Scholar 

  32. Reiter, R. (1984). Towards a logical reconstruction of relational database theory. In Brodie et al. (eds.): On Conceptual Modelling, Springer, 1984.

    Google Scholar 

  33. Rose, T., Jarke, M., Gocek, M., Maltzahn, C., Nissen, H. (1991). A decision-based configuration process environment. Software Engineering Journal, Special Issue on Software Process and its Support, to appear.

    Google Scholar 

  34. Stonebraker, M., Jhingran, A., Goh, J., Potiamos, S. (1990). On rules, procedures, caching and views in database systems. Proc. ACM-SIGMOD Int. Conf. on Management of Data, Atlantic City, NJ.

    Google Scholar 

  35. Scholl, M., Schek, H.-J. (1991). Supporting views in object-oriented databases. Data Engineering Bulletin, June 1991.

    Google Scholar 

  36. Staudt, M. (1990). Anfragerepräsentation und-auswertung in deduktiven Objektbanken. Diploma thesis, Universität Passau, Germany.

    Google Scholar 

  37. Stanley, M.T. (1986). CML: a knowledge representation language with application to requirements modeling. M.S. thesis, University of Toronto, Ont.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universität Passau, Innstraße 33, 8390, Passau, Germany

    Manfred Jeusfeld

  2. RWTH Aachen, Ahornstraße 55, 5100, Aachen, Germany

    Matthias Jarke

Authors
  1. Manfred Jeusfeld
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthias Jarke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

C. Delobel M. Kifer Y. Masunaga

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jeusfeld, M., Jarke, M. (1991). From relational to object-oriented integrity simplification. In: Delobel, C., Kifer, M., Masunaga, Y. (eds) Deductive and Object-Oriented Databases. DOOD 1991. Lecture Notes in Computer Science, vol 566. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55015-1_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-55015-1_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55015-0

  • Online ISBN: 978-3-540-46646-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation