Skip to main content
SpringerLink
Log in
Book cover

International Conference on Deductive and Object-Oriented Databases

DOOD 1991: Deductive and Object-Oriented Databases pp 431–452Cite as

A formalization of objects using equational dynamic logic

  • Conference paper
  • First Online:

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

Abstract

Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic objects. Special attention is paid to different concepts of encapsulation that play a role in object-orientation. It is argued that the resulting language, CMSL, meets those requirements of the object-oriented database system manifesto [6] that are applicable to object-oriented conceptual models (as opposed to OO databases).

Areas: Integrating logic and object paradigm, formalization of object-oriented concepts

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul and S. Grumbach. COL: A logic-based language for complex objects. In J.W. Schmidt, S. Ceri, and M Missikoff, editors, Advances in Database Technology — EDBT 88, pages 271–293. Springer, 1988. Lecture Notes in Computer Science 303.

    Google Scholar 

  2. S. Abiteboul and S. Grumbach. A rule-based language with functions and sets. ACM Transactions on Database Systems, 16:1–30, 1991.

    Google Scholar 

  3. S. Abiteboul and R. Hull. Data functions, Datalog and negation. In ACM-SIGMOD International Conference on Management of Data, pages 143–153, Chicago, June 1–3 1988. ACM. Sigmod Record, Vol. 17.

    Google Scholar 

  4. S. Abiteboul and P.C. Kanellakis. Object identity as a query language primitive. In ACM-SIGMOD International Conference on Management of Data, pages 159–173, Portland, June 1989. ACM. Sigmod Record, Vol. 18.

    Google Scholar 

  5. S. Abiteboul and P.C. Kanellakis. Object identity as a query language primitive. Technical Report 1022, INRIA, 1989.

    Google Scholar 

  6. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and S. Zdonik. The object-oriented database system manifesto. In W. Kim, J.-M. Nicolas, and S. Nishio, editors, The First International Conference on Deductive and Object-Oriented Databases, pages 40–57, december 1989.

    Google Scholar 

  7. J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990.

    Google Scholar 

  8. F. Bancilhon. Object-oriented database systems. In 7th ACM SIGACT-SIGMOD symposium on the principles of database systems, pages 152–162, Austin, Texas, March 21–23 1988. ACM.

    Google Scholar 

  9. C. Beeri. A formal approach to object-oriented databases. Data and Knowledge Engineering, 5:353–382, 1990.

    Google Scholar 

  10. J.A. Bergstra, J. Heering, and P. Klint. Algebraic Specification. ACM Press/Addison Wesley, 1989.

    Google Scholar 

  11. J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37:77–121, 1985.

    Google Scholar 

  12. J.A. Bergstra and J. V. Tucker. Algebraic specifications of computable and semicomputable data types. Theoretical Computer Science, 50:137–181, 1987.

    Google Scholar 

  13. Q. Chen and W. Chu. A high-order logic programming language (HILOG) for non-INF databases. In W. Kim, J.-M. Nicolas, and S. Nishio, editors, Proceedings of the First International Conference on Deductive and Object-Oriented Databases, pages 396–418, Kyoto, Japan, december 1989. Elsevier Science Publishers.

    Google Scholar 

  14. E.F. Codd. Extending the database relational model to capture more meaning. ACM Transactions on Database Systems, 4:397–434, 1979.

    Google Scholar 

  15. J.F. Costa, A. Sernadas, and C. Sernadas. OBL-89 User's Manual, version 2.3. Instituto Superior Técnico, Lisbon, May 1989.

    Google Scholar 

  16. H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen. B.G. Teubner, 1989.

    Google Scholar 

  17. H.-D. Ehrich, A. Sernadas, and C. Sernadas. Objects, object types, and object identification. In H. Ehrig, H. Herrlich, H.-J. Kreowski, and G. Preuß, editors. Categorical Methods in Computer Science, Lecture Notes in Computer Science 393, pages 142–156. Springer, 1987.

    Google Scholar 

  18. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. Springer, 1985. EATCS Monographs on Theoretical Computer Science, Vol. 6.

    Google Scholar 

  19. J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-theoretic semantics of object-oriented specification constructs. In IFIP TC2 Working Conference on Database Semantics. North-Holland, 1990. To be published.

    Google Scholar 

  20. K. Futatsugi, J.A. Goguen, J.-P. Jouannaud, and J. Meseguer. Principles of OBJ2. In Symposium on Principles of Programming Languages, pages 52–66. ACM, 1985.

    Google Scholar 

  21. J.A. Goguen and J. Meseguer. EQLOG: Equality, types, and generic modules for logic programming. In D. DeGroot and G. Lindstrom, editors, Logic Programming: Functions, Relations, and Equations, pages 295–363. Prentice-Hall, 1986.

    Google Scholar 

  22. J.A. Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417–477. MIT Press, 1987.

    Google Scholar 

  23. J.A. Goguen and T. Winkler. Introducing OBJ3. Technical Report SRI-CSL-88-9, SRI International, Computer Science Laboratory, 333 Ravenswood Ave., Menlo Park, CA 94025, U.S.A., 1988.

    Google Scholar 

  24. Joseph Goguen, Jean-Pierre Jouannaud, and José Meseguer. Operational semantics of order-sorted algebra. In W. Brauer, editor, Proceedings, 1985 International Conference on Automata, Languages and Programming. Springer, 1985. Lecture Notes in Computer Science, Volume 194.

    Google Scholar 

  25. Joseph Goguen and José Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Technical Report SRI-CSL-89-10, SRI International, Computer Science Lab, July 1989.

    Google Scholar 

  26. F. Golshani, T.S.E. Maibaum, and M.R. Sadler. A modal system of algebras for database specification and query/update support. In Proceedings of the Nineth International Conference on Very Large Databases, pages 331–359, 1983.

    Google Scholar 

  27. P. Hall, J. Owlett, and S. Todd. Relations and entities. In G.M. Nijssen, editor, Modelling in Database Management Systems, pages 201–220. North-Holland, 1976.

    Google Scholar 

  28. D. Harel. Dynamic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pages 497–604. Reidel, 1984.

    Google Scholar 

  29. R. Hull and M. Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In D. McLeod, R. Sacks-Davis, and H. Schek, editors, Proceedings of the Sixteenth International Conference on Very Large Databases, pages 455–468, Brisbane, Australia, August 13–16 1990.

    Google Scholar 

  30. M. Jackson. System Development. Prentice-Hall, 1983.

    Google Scholar 

  31. S.N. Khoshafian and G.P. Copeland. Object identity. In Object-Oriented Programming Systems, Languages and Applications, pages 406–416, 1986. SIGPLAN Notices 22 (12).

    Google Scholar 

  32. S. Khosla, T.S.E. Maibaum, and M. Sadler. Database specification. In T.B. Jr. Steel and R. Meersman, editors, Database Semantics (DS-1), pages 141–158. North-Holland, 1986.

    Google Scholar 

  33. M. Kifer and G. Lausen. F-logic: A higher-order logic for reasoning about objects, inheritance, and scheme. In ACM-SIGMOD International Conference on Management of Data, pages 134–146, Portland, June 1989. ACM. Sigmod Record, Vol. 18.

    Google Scholar 

  34. G.M. Kuper and M.Y. Vardi. A new approach to database logic. In 3rd ACM SIGACT-SIGMOD symposium on the principles of database systems, pages 86–96, Waterloo, Ontario, March 1984. ACM.

    Google Scholar 

  35. C. Lécluse and P. Richard. Modeling inheritance and genericity in object-oriented databases. In M. Gyssens, J. Paredaens, and D. van Gucht, editors, International Conference on Database Theory, pages 223–238. Springer, 1988. Lecture Notes in Computer Science 326.

    Google Scholar 

  36. C. Lécluse, P. Richard, and F. Velez. O2, an object-oriented data model. In J.W. Schmidt, S. Ceri, and M. Missikoff, editors. Advances in Database Technology — EDBT 88, pages 556–562. Springer, 1988. Lecture Notes in Computer Science 303.

    Google Scholar 

  37. S. Manchanda and D.S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363–394. Morgan Kaufmann, 1988.

    Google Scholar 

  38. J. Meseguer. A logical theory of concurrent objects. In N. Meyrowitz, editor, Object-Oriented Programming: Systems, Languages and Applications/European Conference on Object-Oriented Programming, pages 101–115, October 1990.

    Google Scholar 

  39. J.-J.Ch. Meyer. A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic, 29:109–136, 1988.

    Google Scholar 

  40. J.-J.Ch. Meyer, H. Weigand, and R.J. Wieringa. A specification language for static, dynamic and deontic integrity constraints. In J. Demetrovics and B. Thalheim, editors, 2nd Symposium on Mathematical Fundamentals of Database Systems, pages 347–366. Springer, 1989. Lecture Notes in Computer Science 364.

    Google Scholar 

  41. J.-J.Ch. Meyer and R.J. Wieringa. Actor-oriented system specification with dynamic logic. In S. Abramsky and T.S.E. Maibaum, editors, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 91), volume 2, pages 337–357. Springer, 1991. Lecture Notes in Computer Science 494.

    Google Scholar 

  42. R. Reiter. Towards a logical reconstruction of relational database theory. In M.L. Brodie, J. Mylopoulos, and J.W. Schmidt, editors, On Conceptual Modelling, pages 191–233. Springer, 1984.

    Google Scholar 

  43. A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The basic building blocks of information systems. In E.D. Falkenberg and P. Lindgreen, editors, Information System Concepts: An In-Depth Analysis, pages 225–246. North-Holland, 1989.

    Google Scholar 

  44. G. Smolka, W. Nutt, J. Goguen, and J. Meseguer. Order-sorted equational computation. In M. Nivat and H. Aït-Kaci, editors, Resolution of Equations in Algebraic Structures, Volume 2: Rewriting Techniques, pages 297–367. Academic Press, 1989.

    Google Scholar 

  45. R.J. Wieringa. Algebraic Foundations for Dynamic Conceptual Models. PhD thesis, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, May 1990.

    Google Scholar 

  46. R.J. Wieringa. Equational specification of dynamic objects. In IFIP WG2.8 Working Conference on Database Semantics. North-Holland, 1990. To be published.

    Google Scholar 

  47. R.J. Wieringa, J.-J. Ch. Meyer, and H. Weigand. Specifying dynamic and deontic integrity constraints. Data and Knowledge Engineering, 4:157–189, 1989.

    Google Scholar 

  48. R.J. Wieringa and J.-J.Ch. Meyer. Actor-oriented specification of dynamic and deontic integrity constraints. In B. Talheim, J. Demetrovics, and H.-D. Gerhardt, editors, 3rd Symposium om Mathematical Fundamentals of Database and Knowledge Base Systems (MFDBS 91), pages 89–103. Springer, 1991. Lecture Notes in Computer Science 495.

    Google Scholar 

  49. R.J. Wieringa and J.-J.Ch. Meyer. Actors, actions, and initiative in normative system specification. Technical report, Faculty of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, 1991. submitted for publication.

    Google Scholar 

  50. R.J. Wieringa and R.P. Van De Riet Algebraic specification of object dynamics in knowledge base domains. In R.A. Meersman, Zhongshi Shi, and Chen-Ho Kung, editors, Artificial Intelligence in Databases and Information Systems (DS-3), pages 411–436. North-Holland, 1990.

    Google Scholar 

  51. R.J. Wieringa, H. Weigand, J.-J. Ch. Meyer, and F. Dignum. The inheritance of dynamic and deontic integrity constraints. Annals of Mathematics and Artificial Intelligence, 3:393–428, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Vrije Universiteit, De Boelelaan 1081a, 1081, HV, Amsterdam, The Netherlands

    R. J. Wieringa

Authors
  1. R. J. Wieringa
    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

Wieringa, R.J. (1991). A formalization of objects using equational dynamic logic. 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_23

Download citation

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

  • 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