The Reification Dimension in Object-oriented Data Base Design

  • Cristina Sernadas
  • Paula Gouveia
  • João Gouveia
  • Amílcar Sernadas
  • Pedro Resende
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

The reification of an (abstract) object base schema over another (ground) object base schema is discussed. The concepts of reification object base schema, incorporation (inheritance), derived attribute and transaction are identified as basic. The reification object base schema includes the object classes of the abstract and the ground. bases as well as a reification object class for each object class to be reified. The attributes of the abstract object classes under reification are defined as derived attributes and events are introduced as transactions. A brief outline of the semantics is also discussed.

Keywords

Encapsulation Prefix Clarification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Dayal, U. and Dittrich, K. (eds), Proc. of the International Workshop on Object-oriented Database Systems, Los Angeles, IEEE Computer Society, 1986Google Scholar
  2. [2]
    Dittrich, K., Advances in Object-oriented Database Systems, Springer Verlag, 1988Google Scholar
  3. [3]
    Kim, W. and Lochovski, F. (eds), Object-oriented Concepts, Databases and Applications, ACM Press, Addison-Wesley, 1988Google Scholar
  4. [4]
    Lochovski, F., Special Issue on Object-oriented Systems, IEEE Database Engineering, 8 (4), 1985Google Scholar
  5. [5]
    W. Kim, J.-M. Nicolas and S. Nishio (eds), First International Conference on Deductive and Object-oriented Databases, 1989, 370–395Google Scholar
  6. [6]
    Fiadeiro, J. and Sernadas, A., “Specification and Verification of Database Dynamics”, Acta Informatioa 25, 1988, 625–661MathSciNetMATHCrossRefGoogle Scholar
  7. [7]
    Gustafsson, M., Karlsson, T. and Bubenko, J., A Declarative Approach to Conceptual Information Modeling, 011e, W., Sol, H. and Verrijn-Stuart, A., Information Systems Design Methodologies: A Comparative Review, North-Holland, 1982, 93–142Google Scholar
  8. [8]
    Olivé, A., “Dades: A Methodology for Specification and Design of Information Systems”, 011e, W., Sol, H. and Verrijn-Stuart, A., Information Systems Design Methodologies: A Comparative Review, North-Holland, 1982, 285–334Google Scholar
  9. [9]
    Rolland, C., Bodart, F. and Leonard, M. (eds), Temporal Aspects of Information Systems, North-Holland, 1988Google Scholar
  10. [10]
    Rolland, C. and Richard, C., “The Remora Methodology for Information Systems Design and Management”, 011e, W., Sol, H. and Verrijn-Stuart, A., Information Systems Design Methodologies: A Comparative Review, North-Holland, 1982, 369–426Google Scholar
  11. [11]
    Saake, G. and Lipeck, U., “Using Finite-Linear Temporal Logic for Specifying Database Dynamics”, Proc. CSL’88 2nd Workshop Computer Science Logic, Borger, E. Kleine Buening, H. and Richter, M., LNCS 385, Springer Verlag, 1989, 288–300Google Scholar
  12. [12]
    Sernadas, A., “Temporal Aspects of Logical Procedure Definition”, Information Systems 5, 1980, 167–187MATHCrossRefGoogle Scholar
  13. [13]
    Sernadas, A. and Sernadas, C., “Conceptual Modeling for Knowledge-Based DSS Development”, Holsapple, C. and Whinston, A. (eds), Decision Support Systems: Theory and Practice, North-Holland, 1986, 121–140Google Scholar
  14. [14]
    Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D. and Zdonik, S., “The Object-oriented Database System Manifesto”, First International Conference on Deductive and Object-oriented Databases, W. Kim, J.-M. Nicolas and S. Nishio (eds), 1989, 40–57Google Scholar
  15. [15]
    Bancilhon, F., “Object-oriented Database Systems”, Procs of the ACM SigactSIGMOD-SIGART Conference on the Principles of Database Systems, 1988Google Scholar
  16. [16]
    Cluet, S. Delobel, C., Lécluse, C. and Richard, P., “Reloop, An Algebra Query Language for an Object-oriented Database System”, in [KNN89], 294–313Google Scholar
  17. [17]
    Khoshafian, S. and Copeland, G., “Object Identity”, Sigplan Notices, 21 [11], 1986Google Scholar
  18. [18]
    Wieringa, R., “Equational Specification of Dynamic Objects”, Object-oriented Databases: Analysis, Design and Construction,R. Meersman and Kent, B. (eds), North-Holland, to be publishedGoogle Scholar
  19. [19]
    Cardelli, L., “Semantics of Multiple Inheritance”, Readings in Object-oriented Database Systems, S. Zdonik and D. Maier (eds), Morgan Kaufmann Publ, 1989, 59–83Google Scholar
  20. [20]
    Navathe, S. and Cheng, A., “A Methodology for Database Schema Mapping from Extended Entity Relationship Models into the Hierarchical Model”, Davis, C. et al, Entity Relationship Approach to Software Engineering, Elsevier Science, 1983Google Scholar
  21. [21]
    De Troyer, O. and Meersman, R., “Transforming Conceptual Schema Semantics to Relational Data Applications”, Information Modelling and Data Base Management, Springer Verlag, 1986Google Scholar
  22. [22]
    Ehrich, H.-D. and Sernadas, A., “Algebraic Implementation of Objects over Objects”, de Bakker, J., de Roever, W. and Rozenberg (eds), REX89: Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Springer Verlag, 1989, 239–266Google Scholar
  23. [23]
    Ehrich, H.-D., “On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types”, Journal of the ACM, 29 (1), 1982, 206–227MathSciNetMATHCrossRefGoogle Scholar
  24. [24]
    Ehrich, H.-D., Sernadas, A. and Sernadas, C., “Abstract Object Types for Databases”, Advances in Object-Oriented Database Systems,in [Dit88]Google Scholar
  25. [25]
    Sernadas, A. and Ehrich, H.-D., “What is an Object, After All”, Object-oriented Databases: Analysis, Design and Construction,Meersman, R. and Kent, B. (eds), North-Holland, to be publishedGoogle Scholar
  26. [26]
    Sernadas, A., Fiadeiro, J., Sernadas, C. and Ehrich, H.-D., “The Basic Building Blocks of Information Systems”, Information System Concepts: An In-depth Analysis, Falkenberg, E. and Lindgreen, P. ( eds ), North Holland, 1989, 225–246Google Scholar
  27. [27]
    C. Semadas, P. Resende, P. Gouveia and A. Sernadas. “In-the-large Object-oriented Design of Information Systems”. The Object-Oriented Approach in Information Systems,F. Van Assche, B. Moulin and C. Rolland (eds), North Holland, to be publishedGoogle Scholar
  28. [28]
    Sernadas, A., Sernadas, C. and Ehrich, H.-D., “Object-Oriented Specification of Databases: An Algebraic Approach”, Proc. 13th Conference on Very Large Data Bases, VLDB, Hammersley, P. (ed), 1987, 107–116Google Scholar
  29. [29]
    Costa, J.-F. and Sernadas, A., Process Models Within a Categorial Framework, INESC, 1991Google Scholar
  30. [30]
    Sernadas, A., Ehrich, H.-D. and Costa, J.-F-, “From Processes to Objects”, The INESC Journal of Research and Development, 1990, 7–27Google Scholar
  31. [31]
    Sernadas, C., Gouveia, P., Costa, J.-F. and Sernadas, A., Graph-theoretic Semantics of Oblog: Diagrammatic Language for Object-oriented Specifications, Procs IS-CORE Workshop 91,Saake, G. and Semadas, A. (eds), to be publishedGoogle Scholar
  32. [32]
    Semadas, C., Gouveia, P. and Sernadas, A., Refinement: Layered Definition of Conceptual Schemata, INES C 1991Google Scholar
  33. [33]
    Ehrich, H.-D., Goguen, J. and Sernadas, A., “A Categorial Theory of Objects as Observed Processes”, REX90: Foundations of Object-oriented Languages,Springer-Verlag, to be publishedGoogle Scholar
  34. [34]
    Ehrich, H.-D., Sernadas, A. and Sernadas, C.,, “Objects, Object Types and Object Identity”, Categorical Methods in Computer Science with Aspects from Topology, H. Ehrig et al, Springer Verlag, 1989, 142–156Google Scholar
  35. [35]
    Ehrich, H.-D., Sernadas, A. and Sernadas, C., “From Data Types to Object Types”, Journal of Information Processing and Cybernetics, EIK 26 (1/2), 1990, 33–48MathSciNetMATHGoogle Scholar
  36. [36]
    Sernadas, A., Fiadeiro, J., Sernadas, C. and Ehrich, H.-D.,“Abstract Object Types: A Temporal Perspective”, Temporal Logic in Specification, Banieqbal, B., Barringer, H. and Pnueli, A. ( eds ), Springer Verlag, 1989, 324–350Google Scholar
  37. [37]
    Jungclaus, R., Saake, G. and Sernadas, C., “Using Active Objects for Querying Processing”, Object-oriented Databases: Analysis, Design and Construction,Meersman, R. and Kent, B. (eds), North-Holland, to be publishedGoogle Scholar
  38. [38]
    Resende, P. and Rito, A., A Formal Object-oriented Approach to System Specification—Package Router Revisited, INESC 1990Google Scholar
  39. [39]
    Sernadas, C., Fiadeiro, J. and Sernadas, A., “Object-oriented Conceptual Modeling from Law”, The Role of Artificial Intelligence in Databases and Information Systems, Meersman, R., Shi, Z. and Kung, C., North-Holland, 1990, 305–327Google Scholar
  40. [40]
    Fiadeiro, J. and Sernadas, A., “Logics of Modal Ternis for Systems Specification”, Journal of Logic and Computation, 1 (2), 1990, 187–227MathSciNetMATHCrossRefGoogle Scholar
  41. [41]
    Fiadeiro, J. and Maibaum, T., “Temporal Reasoning Over Deontic Specifications”, Journal of Logic and Computation, 2 (1), 1991Google Scholar
  42. [42]
    Fiadeiro, J. and Maibaum, T., Describing, Structuring and Implementing Objects, REX90: Foundations of Object-oriented Languages,Springer-Verlag, to be publishedGoogle Scholar
  43. [43]
    Fiadeiro, J., Sernadas, C., Maibaum, T. and Saake, G., “Proof-theoretic Semantics of Object-oriented Specification Constructs”, R. Meersman and B. Kent (eds), Object-oriented Databases: Analysis, Design and Construction,North-Holland, to be publishedGoogle Scholar
  44. [44]
    C. Sernadas, P. Gouveia, L. Silva and A. Lopes. “Objects as Structuring Units for Incorporating Dynamics in Deductive Conceptual Modeling”. Proceedings of the International Workshop on the Deductive Approach to Information Systems and Databases, 93–110, 1990Google Scholar
  45. [45]
    Jungclaus, R., Saake, G. and Sernadas, C., “Formal Specification of Object Systems”, Abramsky, S. and Maibaum, T. (eds), TAPSOFT’91,to be publishedGoogle Scholar
  46. [46]
    Sernadas, C., Gouveia, P. and Lopes, A., “Gentzen-type System for Verification in Conceptual Modeling and Knowledge Representation”, INESC, 1990Google Scholar

Copyright information

© Springer-Verlag London 1992

Authors and Affiliations

  • Cristina Sernadas
    • 1
  • Paula Gouveia
    • 1
  • João Gouveia
    • 1
  • Amílcar Sernadas
    • 1
  • Pedro Resende
    • 1
  1. 1.Secção de Ciência da Computação, Departamento de MatemáticaInstitute Superior TécnicoLisboa CodexPortugal

Personalised recommendations