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

C. Baldissera, Stefano Ceri, Giuseppe Pelagatti, Giampio Bracchi: Interactive Specification and Formal Verification of User's Views in Data Bases Design. VLDB 1979: 262-272

@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

Among the different phases of the data base design process, the phase of modelling user's views has a particular relevance. This paper describes an interactive methodology for designing the views starting from the elementary sentences that specify the requirements of the application. The methodology generates a canonical representation, and provides verification algorithms for detecting inconsistencies, redundancies and ambiguities, and for restructuring and optimizing the model.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...

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

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

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

Antonio L. Furtado, Howard L. Morgan (Eds.): Fifth International Conference on Very Large Data Bases, October 3-5, 1979, Rio de Janeiro, Brazil, Proceedings. IEEE Computer Society 1979
Contents

References

[1]: ...
[2]: Shamkant B. Navathe, Mario Schkolnick: View Representation in Logical Database Design. SIGMOD Conference 1978: 144-156
[3]: Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976)
[4]: Nick Roussopoulos, John Mylopoulos: Using Semantic Networks for Database Management. VLDB 1975: 144-172
[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)
[6]: ...
[7]: John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977)
[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)
[11]: Giuseppe Pelagatti, Paolo Paolini, Giampio Bracchi: Mapping external views to a common data model. Inf. Syst. 3(2): 141-151(1978)
[12]: ...
[13]: ...
[14]: ...
[15]: ...
[16]: ...