A Pragmatic Approach to Structured Database Design.

@inproceedings{DBLP:conf/vldb/TuchermanFC83,
  author    = {Luiz Tucherman and
               Antonio L. Furtado and
               Marco A. Casanova},
  editor    = {Mario Schkolnick and
               Costantino Thanos},
  title     = {A Pragmatic Approach to Structured Database Design},
  booktitle = {9th International Conference on Very Large Data Bases, October
               31 - November 2, 1983, Florence, Italy, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1983},
  isbn      = {0-934613-15-X},
  pages     = {219-231},
  ee        = {db/conf/vldb/TuchermanFC83.html},
  crossref  = {DBLP:conf/vldb/83},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A database design methodology, based on the concept of module, is proposed as a way of managing the complexity of database descriptions and, at the same tima, enforcing integrity constraints. The design of databases is carried out in two levels of abstraction, the specification level, which is independent of any database managemant system, and the representation level, that refines the first one into an actual implementation of the database.

At the specification level, the definition of a mdule consists of a high-level description of the structures and operations of the module, as well as the integrity constraints. Two module constructors, extension and subsmption, are used to define new modules fron old ones. Extension is similar to the usual view mechanism. Subsumption is a new module constructor that permits adding new structures, operations and constraints to those of old modules, and redefining old operations, tiich may be required to maintain integrity.

The representation level description of a database is carried out using the SQL/DS system, which indicates that the modular database design proposed can be used in conjunction with present-day systems.

Finally, the concept of module graph is introduced to capture the modular structure of the database.

Copyright © 1983 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/vldb7588 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[ANSI]

...

[CB1]

Marco A. Casanova, Philip A. Bernstein: The Logic of a Relational Data Manipulation Language. POPL 1979: 101-109 BibTeX

[CB2]

Marco A. Casanova, Philip A. Bernstein: A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Trans. Program. Lang. Syst. 2(3): 386-414(1980) BibTeX

[CCF]

...

[CV]

Marco A. Casanova, Vânia Maria Ponte Vidal: Towards a Sound View Integration Methodology. PODS 1983: 36-47 BibTeX

[DMW]

Walter Dosch, Gianfranco Mascari, Martin Wirsing: On the Algebraic Specification of Databases. VLDB 1982: 370-385 BibTeX

[EKW]

Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Algebraic Specification Schemes for Data Base Systems. VLDB 1978: 427-440 BibTeX

[FS]

Antonio L. Furtado, Kenneth C. Sevcik, Clesio Saraiva dos Santos: Permitting updates through views of data bases. Inf. Syst. 4(4): 269-283(1979) BibTeX

[DB]

Umeshwar Dayal, Philip A. Bernstein: On the Correct Translation of Update Operations on Relational Views. ACM Trans. Database Syst. 7(3): 381-416(1982) BibTeX

[Ha]

...

[IBM1]

...

[IBM2]

...

[LMWW]

Peter C. Lockemann, Heinrich C. Mayr, Wolfgang H. Weil, Wolfgang H. Wohlleber: Data Abstractions for Database Systems. ACM Trans. Database Syst. 4(1): 60-75(1979) BibTeX

[LZ]

Barbara Liskov, Stephen N. Zilles: Specification Techniques for Data Abstractions. IEEE Trans. Software Eng. 1(1): 7-19(1975) BibTeX

[NG]

Shamkant B. Navathe, Suresh G. Gadgil: A Methodology for View Inegration in Logical Database Design. VLDB 1982: 142-164 BibTeX

[Pa]

David Lorge Parnas: On the Criteria To Be Used in Decomposing Systems into Modules. Commun. ACM 15(12): 1053-1058(1972) BibTeX

[SFNC]

Ulrich Schiel, Antonio L. Furtado, Erich J. Neuhold, Marco A. Casanova: Towards multi-level and modular conceptual schema specifications. Inf. Syst. 9(1): 43-57(1984) BibTeX

[SNF]

Clesio Saraiva dos Santos, Erich J. Neuhold, Antonio L. Furtado: A Data Type Approach to the Entity-Relationship Approach. ER 1979: 103-119 BibTeX

[SS]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX

[TF]

...

[TFC]

...

[We]

...

[WM]

...

[YWH]

S. Bing Yao, Vance E. Waddle, Barron C. Housel: View Modeling and Integration Using the Functional Data Model. IEEE Trans. Software Eng. 8(6): 544-553(1982) BibTeX

[Zi]

...

[ZLT]

...

Referenced by

1. Marco A. Casanova, Antonio L. Furtado, Luiz Tucherman: A Software Tool for Modular Database Design. ACM Trans. Database Syst. 16(2): 209-234(1991)
2. Georg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524(1988)
3. Arthur M. Keller: Choosing a View Update Translator by Dialog at View Definition Time. VLDB 1986: 467-474
4. Luiz Tucherman, Antonio L. Furtado, Marco A. Casanova: A Tool for Modular Database Design. VLDB 1985: 436-447
5. Claudia Bauzer Medeiros, Frank Wm. Tompa: Understanding the Implications of View Update Policies. VLDB 1985: 316-323
6. Paulo A. S. Veloso, Antonio L. Furtado: View Constructs for the Specification and Design of External Schemas. ER 1983: 637-650