Programming with Ada: an introduction by means of graduated examples
Programming with Ada: an introduction by means of graduated examples
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Limitations of record-based information models
ACM Transactions on Database Systems (TODS)
Theseus—a programming language for relational databeses
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
Communications of the ACM
The Smalltalk-76 programming system design and implementation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Denotational Description of Programming Languages: An Introduction
The Denotational Description of Programming Languages: An Introduction
The data management facilities of PLAIN
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Data abstraction, views and updates in RIGEL
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
DIAL: a programming language for data intensive applications
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
Default reasoning and inheritance mechanisms on type hierarchies
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Report on the programming language Euclid
ACM SIGPLAN Notices
Simula Begin
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
UIO: a uniform I/O system interface for distributed systems
ACM Transactions on Computer Systems (TOCS)
Using continued fractions for efficient subclass checking
ACM SIGPLAN OOPS Messenger
A strongly typed, interactive object-oriented database programming language
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
Fibonacci: a programming language for object databases
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
A Modularization Mechanism for Conceptual Modeling
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Hi-index | 0.00 |
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.