Towards multi-level and modular conceptual schema specifications

Authors:
Ulrich Schiel;Antonio L. Furtado;Erich J. Neuhold;Marco A. Casanova
Affiliations:
Universidade Federal da Paraiba, Campina Grande, Brazil;Universidade Catolica, Rio de Janeiro, Brazil;Universitat Stuttgart, Stuttgart, West Germany;IBM do Brasil, Brasilia, Brazil
Venue:
Information Systems
Year:
1984

Stepwise specification of dynamic database behaviour

SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
The problem of identification

ACM SIGMOD Record
On the Algebraic Specification of Databases

VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
An Abstract Introduction to the Temporal-Hierarchic Data Model (THM)

VLDB '83 Proceedings of the 9th 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
An informal approach to formal specifications

ACM SIGMOD Record
An informal approach to formal specifications

ACM SIGMOD Record
Contextualization as an independent abstraction mechanism for conceptual modeling

Information Systems
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