Towards multi-level and modular conceptual schema specifications
Information Systems
Data abstractions for database systems
ACM Transactions on Database Systems (TODS)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
A relational model of data for large shared data banks
Communications of the ACM
Algorithmic Language and Program Development
Algorithmic Language and Program Development
FQL: a functional query language
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
Conceptual Relations between Databases Transformed under Join and Projection
MFCS '80 Proceedings of the 9th Symposium on Mathematical Foundations of Computer Science
Characterizing Data Base Dependencies
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Building Data Base Management Systems Through Formal Specification
Proceedings of the International Colloquium on Formalization of Programming Concepts
A Data Type Approach to the Entity-Relationship Approach
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Association: A Database Abstraction for Semantic Modelling
ER '81 Proceedings of the Second International Conference on the Entity-Relationship Approach to Information Modeling and Analysis
Formalization of Data Base Models
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI)
Data abstractions for data bases
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Formal data base specification: an eclectic perspective
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
A Pragmatic Approach to Structured Database Design
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Modal System of Algebras for Database Specification and Query/Update Language Support
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
A tool for modular database design
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Hi-index | 0.00 |