System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Initial Algebra Semantics and Continuous Algebras
Journal of the ACM (JACM)
Abstract data types and the development of data structures
Communications of the ACM
Database abstractions: aggregation
Communications of the ACM
Communications of the ACM
Formal definition of mappings in a data base
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Systems for Large Data Bases
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
Database theory for supporting specification-based database system development
ICSE '85 Proceedings of the 8th international conference on Software engineering
Communications of the ACM
Specification and verification of abstract database types
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
On the Algebraic Specification of Databases
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Pragmatic Approach to Structured Database Design
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Temporal Framework for Database Specifications
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Implementing SMART for minicomputers via relational processing With abstract data types
SIGSMALL '81 Proceedings of the 1981 ACM SIGSMALL symposium on Small systems and SIGMOD workshop on Small database systems
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Adding database management to Ada
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
Adding database management to Ada
ACM SIGAda Ada Letters
A practical data base design method
ACM SIGMIS Database
A tool for modular database design
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Simplified integration of Prolog with RDBMS
ACM SIGMIS Database
| Hi-index | 0.02 |
Data abstractions were originally conceived as a specification tool in programming. They also appear to be useful for exploring and explaining the capabilities and shortcomings of the data definition and manipulation facilities of present-day database systems. Moreover they may lead to new approaches to the design of these facilities. In the first section the paper introduces an axiomatic method for specifying data abstractions and, on that basis, gives precise meaning to familiar notions such as data model, data type, and database schema. In a second step the various possibilities for specifying data types within a given data model are examined and illustrated. It is shown that data types prescribe the individual operations that are allowed within a database. Finally, some additions to the method are discussed which permit the formulation of interrelationships between arbitrary operations.