Micro-PROLOG: programming in logic
Micro-PROLOG: programming in logic
GALILEO: a strongly-typed, interactive conceptual language
ACM Transactions on Database Systems (TODS)
Expert helpers to data-based information systems
Proceedings from the first international workshop on Expert database systems
Towards simpler and yet complete formal specificapions
Trends in information systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views
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)
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Some high level language constructs for data of type relation
ACM Transactions on Database Systems (TODS)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Design of Database Structures
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
An implementation of GEM: supporting a semantic data model on a relational back-end.
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A Modularization Mechanism for Conceptual Modeling
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
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
The development of ordered SQL packages to support data warehousing
Data warehousing and web engineering
A Model of Database Components and their Interconnection Based upon Communicating Views
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Building eCommerce systems from shared micro-schemas
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
| Hi-index | 0.00 |
A modularization discipline for database schemas is first described. The dicipline incorporates both a strategy for enforcing integrity constraints and a tactic for organizing large sets of database structures, integrity constraints, and operations. A software tool that helps the development and maintenance of database schemas modularized according to the discipline is then presented. It offers a user-friendly interface that guides the designer through the various stages of the creation of a new module or through the process of changing objects of existing modules. The tool incorporates, in a declarative style, a description of the design and redesign rules behind the modularization discipline, hence facilitating the incremental addition of new expertise about database design.