article

Free access

A software tool for modular database design

Authors:

M. A. Casanova,

A. L. Furtado,

L. TuchermanAuthors Info & Claims

ACM Transactions on Database Systems (TODS), Volume 16, Issue 2

Pages 209 - 234

https://doi.org/10.1145/114325.103711

Published: 01 May 1991 Publication History

PDF eReader

Abstract

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.

References

[1]

ALBANO, A, CARDELLI, L, OCCHIUTO, M E, AND ORSINI, R. A modularization mechanism for conceptual modeling. In Proceedings of the 9th I, ternatmnal Conference on Very Large Data Bases (Florence, 1983), 232-240

Digital Library

Google Scholar

[2]

ALBANO, A, CAm~ELLI, L, AND ORSINI, R. Galileo: A strongly-typed, interactive conceptual language. ACM Trans. Database Syst. 10, 2 (June 1985), 230-260

Digital Library

Google Scholar

[3]

A~mLE, T., BRATBERGSEN(~EN, K., AND RISNES, O. ASTRAL--A structured and unified approach to data base design and manipulation. In Data Base Arquttecture, G. Bracchl and G. M N1jssen, Eds, North-Holland, Amsterdam, 1979, 257-274

Google Scholar

[4]

ANSI/X3/SPARC. Study Group on Data Base Management Systems: Interim Report, FDT 7:2, ACM (1975).

Google Scholar

[5]

BORGIDA, A. Features of languages for the development of information systems at the conceptual level. IEEE Sofiw. (Jan. 1985), 63-72.

Google Scholar

[6]

BOUZEGHOUB, M., GARDARIN, G., AND METAIS, E. Database design tools: An expert system approach. In Proceedings of the llth International Conference on Very Large Dc'~to Bases (Stockholm, 1985), 436-447.

Google Scholar

[7]

BRODm, M. On modelling behavioral semantics of databases. In Proceedings of the 7tk International Conference on Very Large Data Bases (Cannes, 1981), 32-43.

Google Scholar

[8]

BURSTALL, R. M., AND GOGUEN, J. A. An informal introduction to specifications using CLEAR. In The Correctness Problem in Computer Science, R. S Boyer and J. S. Moore, Eds., Academic Press, New York, 1981, 185-213.

Google Scholar

[9]

CASANOVA, M. A., DE CASTILHO, J. M. V., AND FURTADO, A.L. Properties of conceptual and external database schemas. In Formal Description of Programming Concepts II, D Bjorner, Ed., North Holland, Amsterdam, 1983, 409-430.

Google Scholar

[10]

CLARX, K. L., AND McCABE, F.G. Micro-PROLOG: Programming in Logic. Prentice-Hall, Englewood Cliffs, N.J., 1984.

Digital Library

Google Scholar

[11]

DAYAL, U., AND BERNSTEIN, P. A. On the correct translation of update operations on relational views. ACM Trans. Database Syst. 7, 3 (1982), 381-416.

Digital Library

Google Scholar

[12]

ESWA~AN, K.P. Specification, implementation and interaction of a trigger subsystem in an integrated data base system. IBM Res. Rep. RJ1820, Aug. 1976.

Google Scholar

[13]

ESWARAN, K. P., AND CHAMBERLIN, D.D. Functional specification of a subsystem for data base integrity. In Proceedings of the 1st International Conference on Very Large Data Bases (Framingham, Mass. Sept. 1975).

Digital Library

Google Scholar

[14]

FURTADO, A. L., AND CASANOVA, M.A. Updating relational views. In Query Processing in Database Systems, W. Kim, D. S. Reiner, and D. S. Batory, Eds., Springer Ver}lag, New York, 1985, 127-142.

Crossref

Google Scholar

[15]

FURTADO, A. L., CASANOVA, M. A., AND TUCHERMAN, L. Transforming constraints into logic programs: A case study. In Proceedings of the TC-2 Working Conference on Knowledge and Data DS-2 (Albuferia, Portugal, Nov. 1986).

Google Scholar

[16]

FURTADO, A. L., AND MOURA, C M.O. Expert helpers to data-based information systems. In Proceedings of the First International Workshop on Expert Database Systems (1984), 298-313.

Digital Library

Google Scholar

[17]

FURTADO, A. L., SEVCIK, K. C., AND SANTOS, C. S. Permitting updates through views of data bases. Inf. Syst. 4 (1979), 269-283.

Crossref

Google Scholar

[18]

GOGUEN, J. A., AND BURSTALL, R. M. Introducing institutions. In Logics of Programs, LNCS 164, Springer-Verlag, New York, 1984, 221-256.

Digital Library

Google Scholar

[19]

HAMMER, M., AND BERKOWITZ, B. Dial: A programming language for data intensive applications. In Proceedings of the 1980 ACM SIGMOD International Conference on the Management of Data (Santa Monica, Calif., May 1980), ACM, New York, 1980, 75-92.

Digital Library

Google Scholar

[20]

HAMMOND, P., AND SEaGOT, M. Apes: Augmented PROLOG for Expert Systems--Reference Manual. Logic Based Systems Ltd., 1984.

Google Scholar

[21]

LISKOV, B., AND ZmLES, S. Specification techniques for data abstractions. IEE~ Trans Sofiw. Eng. SE-1 (1975).

Google Scholar

[22]

MYLOPOULOS, J., BERNSTEIN, P. A., AND WONG, H. K.T. A language facility for designing database-intensive applications. ACM Trans. Database Syst. 5, 2 (1980), 185-207.

Digital Library

Google Scholar

[23]

PARNAS, D. On the criteria to be used in decomposing systems into modules. Commun. ACM 15, 12 (1972).

Digital Library

Google Scholar

[24]

ROWE, L. A., AND SC~O~NS, K. A. Data abstraction, views and updates in R}GEL. In Proceedings of the 1979 ACM SIGMOD International Conferer~ce on the Management of Data (Boston, May 1979), ACM, New York, 1979.

Digital Library

Google Scholar

[25]

SCHMIDT, J.W. Some high level language constructs for data of type relation. ACM Trans. Database Syst. 2, 3 (Sept. 1977).

Digital Library

Google Scholar

[26]

SHIPMAN, D.W. The functional data model and the data language DAPLEX. AC,VI Trans. Database Syst. 6, I (Mar. 1981), 140-173.

Digital Library

Google Scholar

[27]

SHoPmo, J. E. Theseus--A programming language for relational databases. ACM Trans. Database Syst. 4, 4 (Dec. !979), 493-517.

Digital Library

Google Scholar

[28]

SMIT~, J M., Fox, S., AND LANCERS, T. Reference Manual for ADAPLEX TR CCA-81-02, Computer Corporation of Amemca, May 1981.

Google Scholar

[29]

SMITH, J. M, ANn SMITH D. C P. Database abstractions Agga'egatlon and generalization ACM Trarls. Database Syst. 2, 2 (1977).

Digital Library

Google Scholar

[30]

TEOREY, T J., AND FRY, J. P. Design of Database Structures, Prentice-Hall, Englewood Cliffs, N J, 1982.

Digital Library

Google Scholar

[31]

TUCHERMAN, L., CASANOVA, M. A., AND FUR*ADO, A.L. A pragmatic approach to modular database design. In Proceedings of the 9th Internatzonal Conference on Very Large Data Bases (Florence, 1983), 219 231.

Digital Library

Google Scholar

[32]

TUCHERMAN, L, FURTADO, A. L., AND CASANOVA, M. A A tool for modular database design In Proceedings of the 11th Internatzonal Conference oT~ Very Large Data Bases (Stockholm, 1985), 436 447.

Google Scholar

[33]

TsuR, S, AND ZANIOLO, C An ~mplementation of GEM--Supporting a semantm data model on a relational back-end. In Procee&ngs of the 1984 ACM SIGMOD Internatzonal Conference on the Management of Data (Boston, June 1984) ACM, New York, 1984

Digital Library

Google Scholar

[34]

VELOSO, P A. S, AND FURTADO, A.L. Towards mmpler and yet complete formal spemfications. In IzTformat~on Systems: Theoretical and Formal Aspects, A. Sernadas, J. Bubenko, and A. Ohve Eds., North-Holland, Amsterdam, 1985, 175-189.

Digital Library

Google Scholar

[35]

WASSERMAN, A I The data management facilities of PLAIN. In Procee&,gs of the 1979 ACM SIGMOD Internatmnal Conference on the Management of Data (Boston, May 1979). ACM, New York, 1979.

Digital Library

Google Scholar

[36]

WEBEa, H. Modularity in data base systems demgn. In Proceedings of the Joznt IBM/Unzversity Newcastle upon Tyne Semznar, 1979

Google Scholar

[37]

ZmLES, S N. Types, algebras and modelling. In Proceedi,gs of the Workshop on Data Abstractions, Databases and Conceptual Modelhng (Pingree Park, Colo, 1980).

Digital Library

Google Scholar

[38]

ZmLES, S N, L~JCAS, P., AND THATCHER, J.W. A look at algebraic specifications Res. Rep RJ3568, IBM Thomas J Watson Research Center, 1982.

Google Scholar

Cited By

View all

Furtado AZiviani N(2018)Information and data management at PUC-rio and UFMGProceedings of the VLDB Endowment10.14778/3229863.324049011:12(2114-2129)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.14778/3229863.3240490
Leone Sde Spindler AMcLeod D(2013)Model-Driven Composition of Information Systems from Shared Components and ConnectorsOn the Move to Meaningful Internet Systems: OTM 2013 Conferences10.1007/978-3-642-41030-7_13(204-221)Online publication date: 2013
https://doi.org/10.1007/978-3-642-41030-7_13
Leone SNorrie M(2011)Building eCommerce systems from shared micro-schemasProceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I10.5555/2074356.2074382(284-301)Online publication date: 17-Oct-2011
https://dl.acm.org/doi/10.5555/2074356.2074382
Show More Cited By

Index Terms

A software tool for modular database design
1. Information systems
  1. Data management systems
    1. Database administration
    2. Database design and models
      1. Data model extensions
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. General programming languages
      1. Language features
        Modules / packages

Recommendations

Database Skeleton and Its Application to Logical Database Synthesis

This paper presents the concept of a model of database skeleton which is used to represent user's knowledge on the meaning of the data. The logical database synthesis pfoblem is then formulated as a problem of convetting a partially specified database ...
A methodology and tool for top-down relational database design
The role of domain ontologies in database design: An ontology management and conceptual modeling environment

Database design is difficult because it involves a database designer understanding an application and translating the design requirements into a conceptual model. However, the designer may have little or no knowledge about the application or task for ...

Reviews

Reviewer: Alfs T. Berztiss

Although the title of this paper puts emphasis on a software tool, the paper should be read by all software engineers interested in database modularization. Proper modularization is essential for the management of large databases. In the case of functional databases, it seems natural to separate a database into data types and consider each data type as a module. Under a relational data model, however, modularization criteria are more difficult to establish, and the authors of this paper do not go beyond stating that “close relation” of a collection of structures, integrity constraints, and operations is their modularization criterion. They do, however, solve the important problem of how to maintain integrity efficiently when new modules are added to a database. They do this by grouping modules into conceptual and external modules, where the latter define database views. Conceptual modules are organized into a hierarchy in such a way that lower-level modules are hidden from the user. This allows for the development of efficient mechanisms for maintaining integrity, and for the engineering of a tool that is to assist a database designer in the initial design of a database and in subsequent redesign activities. The tool has been implemented.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Database Systems

ACM Transactions on Database Systems Volume 16, Issue 2

June 1991

160 pages

ISSN:0362-5915

EISSN:1557-4644

DOI:10.1145/114325

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 1991

Published in TODS Volume 16, Issue 2

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
687
Total Downloads

Downloads (Last 12 months)57
Downloads (Last 6 weeks)6

Reflects downloads up to

Other Metrics

View Author Metrics

Citations

Cited By

View all

Furtado AZiviani N(2018)Information and data management at PUC-rio and UFMGProceedings of the VLDB Endowment10.14778/3229863.324049011:12(2114-2129)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.14778/3229863.3240490
Leone Sde Spindler AMcLeod D(2013)Model-Driven Composition of Information Systems from Shared Components and ConnectorsOn the Move to Meaningful Internet Systems: OTM 2013 Conferences10.1007/978-3-642-41030-7_13(204-221)Online publication date: 2013
https://doi.org/10.1007/978-3-642-41030-7_13
Leone SNorrie M(2011)Building eCommerce systems from shared micro-schemasProceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I10.5555/2074356.2074382(284-301)Online publication date: 17-Oct-2011
https://dl.acm.org/doi/10.5555/2074356.2074382
Leone SNorrie M(2011)Building eCommerce Systems from Shared Micro-schemasOn the Move to Meaningful Internet Systems: OTM 201110.1007/978-3-642-25109-2_19(284-301)Online publication date: 2011
https://doi.org/10.1007/978-3-642-25109-2_19
Hegner S(2008)A Model of Database Components and their Interconnection Based upon Communicating ViewsProceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX10.5555/1563785.1563791(79-99)Online publication date: 15-Jun-2008
https://dl.acm.org/doi/10.5555/1563785.1563791
Costal DOlivé A(2005)A method for reasoning about deductive conceptual models of information systemsActive Flow and Combustion Control 201810.1007/BFb0035156(612-631)Online publication date: 21-Jun-2005
https://doi.org/10.1007/BFb0035156
Ng WLevene M(2005)The development of ordered SQL packages for modelling advanced applicationsDatabase and Expert Systems Applications10.1007/BFb0022061(529-538)Online publication date: 10-Jun-2005
https://doi.org/10.1007/BFb0022061
Pastor-Collado JOlivé A(2005)Supporting transaction design in conceptual modelling of information systemsActive Flow and Combustion Control 201810.1007/3-540-59498-1_236(40-53)Online publication date: 20-Jul-2005
https://doi.org/10.1007/3-540-59498-1_236
Delcambre LLangston J(1996)Reusing (shrink wrap) schemas by modifying concept schemasProceedings of the Twelfth International Conference on Data Engineering10.1109/ICDE.1996.492180(326-333)Online publication date: 1996
https://doi.org/10.1109/ICDE.1996.492180
Hayne SRam S(1995)Group data base designJournal of Systems and Software10.1016/0164-1212(94)00048-R28:2(97-116)Online publication date: 1-Feb-1995
https://dl.acm.org/doi/10.1016/0164-1212%2894%2900048-R
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Database Skeleton and Its Application to Logical Database Synthesis

A methodology and tool for top-down relational database design

The role of domain ontologies in database design: An ontology management and conceptual modeling environment

Reviews

Access critical reviews of Computing literature here

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations