Type hierarchies and Semantic Data Models

ABSTRACT

The basic abstraction mechanisms of Semantic Data Models - aggregation, classification and generalization - are considered the essential features to overcome the limitations of traditional data models in terms of semantic expressiveness. An important issue in database programming language design is which features should a programming language have to support the abstraction mechanisms of Semantic Data Models. This paper shows that when using a strongly typed programming language, that language should support the notion of type hierarchies to achieve a full integration of Semantic Data Models abstraction mechanisms within the language's type system. The solution is presented using the language Galileo, a strongly typed, interactive programming language specifically designed for database applications.

References

1. 1.Albano A., L. Cardelli and R. Orsini /82/, "Galileo: A Strongly Typed, Interactive Conceptual Language", Technical Report, Department of Computer Science, University of Toronto (submitted for publication).
2. 2.Albano A. and R. Orsini /83/, "Dialogo: An interactive Environment for Conceptual Design in Galileo", in Methodology and Tools for Database Design, S. Ceri (ed.), North-Holland, Amsterdam, 229-253, 1983.
3. 3.Amble T., K. Bratberggensen and O. Risnes /79/, "ASTRAL, A Structured and Unified Approach to Database Design and Manipulation", in Data Base Architecture, G. Bracchi and G.M. Nijssen (eds), North-Holland, Amsterdam, 1979.
4. 4.Biller, H. and E.J. Neuhold /78/, "Semantic of Databases: The Semantics of Data Models", Information Systems 3,1,11-30, 1978.
5. 5.Birtwistle G.M., O-J Dahl, B. Myhrhang and K. Nygaard /73/, "SIMULA Begin", New York, Petrocelli, 1973.
6. 6.Borgida A.T., J. Mylopoulos and H.K.T. Wong /82/, "Methodological and Computer Aids for Interactive Information Systems Design", in Automated Tools for Information System Design, H.J. Schneider and A. Wasserman (eds), North-Holland, Amsterdam, 109-124, 1982.
7. 7.Brodie M.L. /80/, "The Application of Data Types to Database Semantic Integrity", Information System 5, 4, 287-296, 1980.
8. 8.Brodie M.L. and S.N. Zilles (eds) /81/, Proc. Workshop on Data Abstraction, Data Bases and Conceptual Modelling, ACM SIGMOD Special Issue 11, 2, 1981.
9. 9.Capaccioli M. /83/, "La semantica Denotazionale del Galileo", Tesi di laurea in Scienze dell'informazione, Università di Pisa, Italy, 1983.
10. 10.Carbonell J.G. /81/, "Default Reasoning and Inheritance Mechanism on Type Hierarchies", in Proc. Workshop on Data Abstraction, Data Bases and Conceptual Modelling, Brodie M.L. and S.N. Zilles (eds), ACM SIGMOND Special Issue 11, 2, 107-109, 1981.
11. 11.Cardelli L. /82/, "Semantics and Typechecking of Multiple Inheritance" (draft).
12. 12.Gordon M. /79a/, "The Denotational Description of Programming Languages. An Introduction", Springer-Verlag, New York 1979.
13. 13.Gordon M., R. Milner and C. Wadsworth /79b/, "Edinburgh LCF", Lecture Notes in Computer Science, Vol. 78, Springer Verlag, 1979.
14. 14.Hammer M. and B. Berkowitz /80/, "DIAL: A programming Language for Data Intensive Applications", Proc. of ACM SIGMOD Conference, 1980.
15. 15.Hammer M. and McLeod /81/, "Database Description with SDM: A Semantic Database Model", ACM TODS 6, 3, 351-386, 1981.
16. 16.Ingalls D.H. /78/, "The Smalltalk-76 Programming Systems: Design and Implementation", Conference Record of the 5th Annual ACM Symposium on Principles of Programming Languages, Tuscon, Arizona, 9-16, 1978.
17. 17.Kent W. /79/, "Limitations of Record-Based Information Models", ACM TODS 4, 1, 107-131, 1979.
18. 18.Lampson B.W., J.J. Horning, R.L. London, J.G. Mitchell and G.L. Popek /77/, "Report On The Programming Language Euclid", ACM SIGPLAN Notices 12,2, 1977.
19. 19.Liskov B.H., A. Snyder, A. Atkinson and C. Schaffert /77/, "Abstraction Mechanisms in CLU", CACM 20, 8, 564-576, 1977.
20. 20.McLeod D. and R. King /82/, "Semantic Database Models", in Principle of Database Design, S.B. Yao (ed.), Prentice Hall, 1982 (to appear).
21. 21.Milner R. /78/, "A Theory of Type Polymorphism in Programming", Journal of Computer and System Science 17, 348-375, 1978.
22. 22.Mylopoulos J., P.A. Bernstein and H.K.T. Wong /80/, "A language Facility for Designing Database-Intensive Applications", ACM TODS 5, 2, 185-207, 1980.
23. 23.Rowe L.A. and K.A. Shoens /79/, "Data Abstraction, Views and Updates in RIGEL", Proc. of ACM SIGMOD Conference, Boston, Mass., 71-81, 1979.
24. 24.Schmidt J.W. /78/, "Type Concepts for Database Definition", in Database: Improving Usability and Responsiveness, B. Schneidermann (ed.), Academic Press, 215-244, 1978.
25. 25.Schmidt J.W. and M. Mall /80/, "Pascal/R Report", University of Hamburg, Fachbereich Informatik, Report N.66, January 1980.
26. 26.Shopiro J.E. /79/, "A Programming Language for Relational Database", ACM TODS 4, 4, 493-517, 1979.
27. 27.Shaw M., W.A. Wulf and R.L. London /77/, "Abstraction and Verification in ALPHARD: Defining and Specifying Iteration and Generators", CACM 20, 8, 553-564, 1977.
28. 28.Shaw M. /80/, "The impact of Abstraction Concerns on Modern Programming Languages", Proceedings of the IEEE, Vol. 68, N.9, 1119-1130, 1980.
29. 29.Shaw M. (ed.) /81/, "ALPHARD: Form and Content", Springer Verlag, New York, 1981.
30. 30.Smith J.M., S. Fox and T. Lancers /81/, "Reference Manual for ADAPLEX", Technical Report CCA-81-02, Computer Corporation of America, January 1981.
31. 31.Wasserman A.I. /79/, "The Data Management Facilities of PLAIN", Proc. of the ACM SIGMOD Conference, Boston Mass., 60-70, 1979.
32. 32.Weber H. /78/, "A Software Engineering View of Data Base Systems", Proc. 4th Int. Conf, on VLDB, Berlin, 36-51, 1978.
33. 33.Wegner P. /80/, "Programming with Ada: An Introduction by Means of Graduated Examples", Englewood Cliffs N.J., Prentice-Hall, 1980.
34. 34.Wong H.K.T. and J. Mylopoulos /77/, "Two Views of Data Semantics: A Survey of Data Models in Artificial Intelligence and Database Management", INFOR 15,3, 344-382, 1977.

Index Terms

• Information systems

  • Data management systems

    • Database design and models

    • Query languages

• Theory of computation

  • Theory and algorithms for application domains

    • Database theory

      • Database query languages (principles)