ACM SIGMOD Anthology VLDB dblp.uni-trier.de

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.

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


ACM SIGMOD Anthology

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

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

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

Copyright © Tue Mar 16 02:21:55 2010 by Michael Ley (ley@uni-trier.de)