The Reification Dimension in Object-oriented Data Base Design

1. Dayal, U. and Dittrich, K. (eds), Proc. of the International Workshop on Object-oriented Database Systems, Los Angeles, IEEE Computer Society, 1986

   Google Scholar 

2. Dittrich, K., Advances in Object-oriented Database Systems, Springer Verlag, 1988

   Google Scholar 

3. Kim, W. and Lochovski, F. (eds), Object-oriented Concepts, Databases and Applications, ACM Press, Addison-Wesley, 1988

   Google Scholar 

4. Lochovski, F., Special Issue on Object-oriented Systems, IEEE Database Engineering, 8 (4), 1985

   Google Scholar 

5. W. Kim, J.-M. Nicolas and S. Nishio (eds), First International Conference on Deductive and Object-oriented Databases, 1989, 370–395

   Google Scholar 

6. Fiadeiro, J. and Sernadas, A., “Specification and Verification of Database Dynamics”, Acta Informatioa 25, 1988, 625–661

   Article  MathSciNet  MATH  Google Scholar 

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–142

   Google Scholar 

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–334

   Google Scholar 

9. Rolland, C., Bodart, F. and Leonard, M. (eds), Temporal Aspects of Information Systems, North-Holland, 1988

   Google Scholar 

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–426

    Google Scholar 

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–300

    Google Scholar 

12. Sernadas, A., “Temporal Aspects of Logical Procedure Definition”, Information Systems 5, 1980, 167–187

    Article  MATH  Google Scholar 

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–140

    Google Scholar 

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–57

    Google Scholar 

15. Bancilhon, F., “Object-oriented Database Systems”, Procs of the ACM SigactSIGMOD-SIGART Conference on the Principles of Database Systems, 1988

    Google Scholar 

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–313

    Google Scholar 

17. Khoshafian, S. and Copeland, G., “Object Identity”, Sigplan Notices, 21 [11], 1986

    Google Scholar 

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 published

    Google Scholar 

19. Cardelli, L., “Semantics of Multiple Inheritance”, Readings in Object-oriented Database Systems, S. Zdonik and D. Maier (eds), Morgan Kaufmann Publ, 1989, 59–83

    Google Scholar 

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, 1983

    Google Scholar 

21. De Troyer, O. and Meersman, R., “Transforming Conceptual Schema Semantics to Relational Data Applications”, Information Modelling and Data Base Management, Springer Verlag, 1986

    Google Scholar 

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–266

    Google Scholar 

23. Ehrich, H.-D., “On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types”, Journal of the ACM, 29 (1), 1982, 206–227

    Article  MathSciNet  MATH  Google Scholar 

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. 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 published

    Google Scholar 

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–246

    Google Scholar 

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 published

    Google Scholar 

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–116

    Google Scholar 

29. Costa, J.-F. and Sernadas, A., Process Models Within a Categorial Framework, INESC, 1991

    Google Scholar 

30. Sernadas, A., Ehrich, H.-D. and Costa, J.-F-, “From Processes to Objects”, The INESC Journal of Research and Development, 1990, 7–27

    Google Scholar 

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 published

    Google Scholar 

32. Semadas, C., Gouveia, P. and Sernadas, A., Refinement: Layered Definition of Conceptual Schemata, INES C 1991

    Google Scholar 

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 published

    Google Scholar 

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–156

    Google Scholar 

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–48

    MathSciNet  MATH  Google Scholar 

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–350

    Google Scholar 

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 published

    Google Scholar 

38. Resende, P. and Rito, A., A Formal Object-oriented Approach to System Specification—Package Router Revisited, INESC 1990

    Google Scholar 

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–327

    Google Scholar 

40. Fiadeiro, J. and Sernadas, A., “Logics of Modal Ternis for Systems Specification”, Journal of Logic and Computation, 1 (2), 1990, 187–227

    Article  MathSciNet  MATH  Google Scholar 

41. Fiadeiro, J. and Maibaum, T., “Temporal Reasoning Over Deontic Specifications”, Journal of Logic and Computation, 2 (1), 1991

    Google Scholar 

42. Fiadeiro, J. and Maibaum, T., Describing, Structuring and Implementing Objects, REX90: Foundations of Object-oriented Languages,Springer-Verlag, to be published

    Google Scholar 

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 published

    Google Scholar 

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, 1990

    Google Scholar 

45. Jungclaus, R., Saake, G. and Sernadas, C., “Formal Specification of Object Systems”, Abramsky, S. and Maibaum, T. (eds), TAPSOFT’91,to be published

    Google Scholar 

46. Sernadas, C., Gouveia, P. and Lopes, A., “Gentzen-type System for Verification in Conceptual Modeling and Knowledge Representation”, INESC, 1990

    Google Scholar 

Download references