Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation
Communications of the ACM
Data type specification: Parameterization and the power of specification techniques
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
SIMULA 67 common base language, (Norwegian Computing Center. Publication)
Issues in the design of object-oriented database programming languages
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A software tool for modular database design
ACM Transactions on Database Systems (TODS)
A Pragmatic Approach to Structured Database Design
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
Hi-index | 0.00 |
Programming languages, database systems and artificial intelligence systems all have the notion that entities can be classified into types. As might be expected, however, the usage of the notion of type is not the same throughout or even within these areas. In this paper, I propose a notion of typing that is derived from work on programming languages and indicate how this notion might be used in the context of database systems. Thus, the paper is a step toward unifying the notions of type in data-bases and programming languages.