Article

Free access

Type hierarchies and Semantic Data Models

Author:

Antonio AlbanoAuthors Info & Claims

SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

Pages 178 - 186

https://doi.org/10.1145/800226.806864

Published: 01 June 1983 Publication History

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]

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]

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]

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]

Biller, H. and E.J. Neuhold /78/, "Semantic of Databases: The Semantics of Data Models", Information Systems 3,1,11-30, 1978.

[5]

Birtwistle G.M., O-J Dahl, B. Myhrhang and K. Nygaard /73/, "SIMULA Begin", New York, Petrocelli, 1973.

Digital Library

[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]

Brodie M.L. /80/, "The Application of Data Types to Database Semantic Integrity", Information System 5, 4, 287-296, 1980.

[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]

Capaccioli M. /83/, "La semantica Denotazionale del Galileo", Tesi di laurea in Scienze dell'informazione, Università di Pisa, Italy, 1983.

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

Digital Library

[11]

Cardelli L. /82/, "Semantics and Typechecking of Multiple Inheritance" (draft).

[12]

Gordon M. /79a/, "The Denotational Description of Programming Languages. An Introduction", Springer-Verlag, New York 1979.

Digital Library

[13]

Gordon M., R. Milner and C. Wadsworth /79b/, "Edinburgh LCF", Lecture Notes in Computer Science, Vol. 78, Springer Verlag, 1979.

[14]

Hammer M. and B. Berkowitz /80/, "DIAL: A programming Language for Data Intensive Applications", Proc. of ACM SIGMOD Conference, 1980.

Digital Library

[15]

Hammer M. and McLeod /81/, "Database Description with SDM: A Semantic Database Model", ACM TODS 6, 3, 351-386, 1981.

Digital Library

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

Digital Library

[17]

Kent W. /79/, "Limitations of Record-Based Information Models", ACM TODS 4, 1, 107-131, 1979.

Digital Library

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

Digital Library

[19]

Liskov B.H., A. Snyder, A. Atkinson and C. Schaffert /77/, "Abstraction Mechanisms in CLU", CACM 20, 8, 564-576, 1977.

Digital Library

[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]

Milner R. /78/, "A Theory of Type Polymorphism in Programming", Journal of Computer and System Science 17, 348-375, 1978.

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

Digital Library

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

Digital Library

[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]

Schmidt J.W. and M. Mall /80/, "Pascal/R Report", University of Hamburg, Fachbereich Informatik, Report N.66, January 1980.

[26]

Shopiro J.E. /79/, "A Programming Language for Relational Database", ACM TODS 4, 4, 493-517, 1979.

Digital Library

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

Digital Library

[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]

Shaw M. (ed.) /81/, "ALPHARD: Form and Content", Springer Verlag, New York, 1981.

[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]

Wasserman A.I. /79/, "The Data Management Facilities of PLAIN", Proc. of the ACM SIGMOD Conference, Boston Mass., 60-70, 1979.

Digital Library

[32]

Weber H. /78/, "A Software Engineering View of Data Base Systems", Proc. 4th Int. Conf, on VLDB, Berlin, 36-51, 1978.

[33]

Wegner P. /80/, "Programming with Ada: An Introduction by Means of Graduated Examples", Englewood Cliffs N.J., Prentice-Hall, 1980.

Digital Library

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

Cited By

Ceri SCacace FTanca L(2005)Object orientation and logic programming for databases: A season's flirt or long-term marriage?Next Generation Information System Technology10.1007/3-540-54141-1_8(124-143)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-54141-1_8
Schmidt JMatthes F(2005)Language technology for post-relational data systemsDatabase Systems of the 90s10.1007/3-540-53397-4_33(81-114)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-53397-4_33
Connor RMcNally DMorrison R(2000)Subtyping and Assignment in Database Programming LanguagesFully Integrated Data Environments10.1007/978-3-642-59623-0_13(238-239)Online publication date: 2000
https://doi.org/10.1007/978-3-642-59623-0_13
Show More Cited By

Index Terms

Type hierarchies and Semantic Data Models
1. Information systems
  1. Data management systems
    1. Database design and models
    2. Query languages
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query languages (principles)

Recommendations

Type hierarchies and Semantic Data Models

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 ...
Polymorphic type inference and abstract data types
Well-definedness, semantic type-checking, and type inference for database query languages

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGPLAN '83: Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems

June 1983

230 pages

ISBN:0897911083

DOI:10.1145/800226

ACM SIGPLAN Notices Volume 18, Issue 6
June 1983
219 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/872728
Issue’s Table of Contents

Copyright © 1983 Author.

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 June 1983

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

VEE05

Sponsor:

SIGPLAN

VEE05: First International Conference on Virtual Execution Environments

June 27 - 29, 1983

California, San Francisco, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
562
Total Downloads

Downloads (Last 12 months)53
Downloads (Last 6 weeks)5

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Ceri SCacace FTanca L(2005)Object orientation and logic programming for databases: A season's flirt or long-term marriage?Next Generation Information System Technology10.1007/3-540-54141-1_8(124-143)Online publication date: 8-Jun-2005
https://doi.org/10.1007/3-540-54141-1_8
Schmidt JMatthes F(2005)Language technology for post-relational data systemsDatabase Systems of the 90s10.1007/3-540-53397-4_33(81-114)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-53397-4_33
Connor RMcNally DMorrison R(2000)Subtyping and Assignment in Database Programming LanguagesFully Integrated Data Environments10.1007/978-3-642-59623-0_13(238-239)Online publication date: 2000
https://doi.org/10.1007/978-3-642-59623-0_13
Morrison REngland AConnor RAtkinson MBarneva SRabitti FZezula P(1995)Using continued fractions for efficient subclass checkingACM SIGPLAN OOPS Messenger10.1145/212025.2120266:2(1-11)Online publication date: 1-Apr-1995
https://dl.acm.org/doi/10.1145/212025.212026
Albano AGhelli GOrsini R(1995)Fibonacci: A programming language for object databasesThe VLDB Journal10.1007/BF012316434:3(403-444)Online publication date: Jul-1995
https://doi.org/10.1007/BF01231643
Ceri STanca L(1993)Bridging objects with logical rules: towards object oriented deductive databasesLOGIDATA+: Deductive Databases with Complex Objects10.1007/BFb0021886(7-19)Online publication date: 1993
https://doi.org/10.1007/BFb0021886
Albano AGhelli GOcchiuto MOrsini R(1991)Object-Oriented GALILEOOn Object-Oriented Database Systems10.1007/978-3-642-84374-7_7(87-103)Online publication date: 1991
https://doi.org/10.1007/978-3-642-84374-7_7
Albano A(1989)Conceptual Languages: A Comparison of ADAPLEX, Galileo and TaxisFoundations of Knowledge Base Management10.1007/978-3-642-83397-7_18(395-409)Online publication date: 1989
https://doi.org/10.1007/978-3-642-83397-7_18
Albano AGhelli GOcchiuto MOrsini RDittrich KDayal U(1986)A strongly typed, interactive object-oriented database programming languageProceedings on the 1986 international workshop on Object-oriented database systems10.5555/318826.318843(94-103)Online publication date: 1-Sep-1986
https://dl.acm.org/doi/10.5555/318826.318843
Albano ACardelli LOrsini R(1985)GALILEO: a strongly-typed, interactive conceptual languageACM Transactions on Database Systems10.1145/3857.385910:2(230-260)Online publication date: 1-Jun-1985
https://dl.acm.org/doi/10.1145/3857.3859
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents