Interactive Specification and Formal Verification of User's Views in Data Bases Design.

@inproceedings{DBLP:conf/vldb/BaldisseraCPB79,
  author    = {C. Baldissera and
               Stefano Ceri and
               Giuseppe Pelagatti and
               Giampio Bracchi},
  editor    = {Antonio L. Furtado and
               Howard L. Morgan},
  title     = {Interactive Specification and Formal Verification of User's Views
               in Data Bases Design},
  booktitle = {Fifth International Conference on Very Large Data Bases, October
               3-5, 1979, Rio de Janeiro, Brazil, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1979},
  pages     = {262-272},
  ee        = {db/conf/vldb/BaldisseraCPB79.html},
  crossref  = {DBLP:conf/vldb/79},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1979 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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

[1]

...

[2]

Shamkant B. Navathe, Mario Schkolnick: View Representation in Logical Database Design. SIGMOD Conference 1978: 144-156 BibTeX

[3]

Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) BibTeX

[4]

Nick Roussopoulos, John Mylopoulos: Using Semantic Networks for Database Management. VLDB 1975: 144-172 BibTeX

[5]

Horst Biller, Erich J. Neuhold: Remarks on the comments of B. Langefors on our paper - Semantics of data bases: The semantics of data models. Inf. Syst. 3(1): 35-36(1978) BibTeX

[6]

...

[7]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977) BibTeX

[8]

...

[9]

...

[10]

John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Database-Intensive Applications. ACM Trans. Database Syst. 5(2): 185-207(1980) BibTeX

[11]

Giuseppe Pelagatti, Paolo Paolini, Giampio Bracchi: Mapping external views to a common data model. Inf. Syst. 3(2): 141-151(1978) BibTeX

[12]

...

[13]

...

[14]

...

[15]

...

[16]

...

Referenced by

1. Shahrul Azman Noah, Michael Lloyd-Williams: An Evaluation of Two Approaches to Exploiting Real-World Knowledge by Intelligent Database Design Models. ER 1998: 197-210
2. Michael Lloyd-Williams: Exploiting Domain Knowledge During the Automated Design of Object-Oriented Databases. ER 1997: 16-29
3. Veda C. Storey, Robert C. Goldstein: A Methodology for Creating User Views in Database Design. ACM Trans. Database Syst. 13(3): 305-338(1988)
4. Scott M. Staley, David C. Anderson: Executable E-R Specifications for Database Schema Design. ER 1985: 160-169
5. U. Bussolati, Giancarlo Martella: A Database Approach to Modelling and Managing Security Information. VLDB 1981: 532-542
6. Paolo Atzeni, Carlo Batini, Maurizio Lenzerini, Fulvio Villanelli: INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model. ER 1981: 375-410