dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Validation and Verification Aspects of Information Modeling.

Janis A. Bubenko Jr.: Validation and Verification Aspects of Information Modeling. VLDB 1977: 556-566
@inproceedings{DBLP:conf/vldb/Bubenko77,
  author    = {Janis A. Bubenko Jr.},
  title     = {Validation and Verification Aspects of Information Modeling},
  booktitle = {Proceedings of the Third International Conference on Very Large
               Data Bases, October 6-8, 1977, Tokyo, Japan},
  publisher = {IEEE Computer Society},
  year      = {1977},
  pages     = {556-566},
  ee        = {db/conf/vldb/Bubenko77.html},
  crossref  = {DBLP:conf/vldb/77},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

The problem of designing a valid and consistent information model for a data base is examined. An information model is considered valid if it, from the user point of view, adequatly represents the relevant portion of reality and if it has an acceptable evolution tolerance. A consistent model has components which, at any time, satisfy certain interdependence constraints. After an outline of the design process in general and a discussion of some of its major problems we introduce four 'facets' of existing conceptual bases for information modeling. These are (1) Abstraction levels, (2) Degree of integration, (3)Scope of the model and (4) Time perspective. The second half of the paper offers some thoughts on the effect that these four facets may have on information model validation and consistency verification.

Copyright © 1977 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

Proceedings of the Third International Conference on Very Large Data Bases, October 6-8, 1977, Tokyo, Japan. IEEE Computer Society 1977
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
...
[2]
James B. Rothnie Jr. (Ed.): Proceedings of the 1976 ACM SIGMOD International Conference on Management of Data, Washington, D.C., June 2-4, 1976. ACM 1976
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
...
[4]
...
[5]
...
[6]
...
[7]
...
[8]
...
[9]
...
[10]
...
[11]
...
[12]
...
[13]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
J. Daniel Couger: Evolution of Business System Analysis Techniques. ACM Comput. Surv. 5(3): 167-198(1973) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
...
[16]
...
[17]
...
[18]
...
[19]
Beverly K. Kahn: A Method for Describing Information Required by the Database Design Process. SIGMOD Conference 1976: 53-64 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
Larry Kerschberg, Anthony C. Klug, Dennis Tsichritzis: A Taxonomy of Data Models. VLDB 1976: 43-64 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
...
[22]
Börje Langefors: Information Systems. IFIP Congress 1974: 937-945 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[23]
...
[24]
...
[25]
...
[26]
...
[27]
Raymond T. Yeh: Guest Editorial - Special Issue on Reliable Software: Part I: Software Validation. ACM Comput. Surv. 8(3): 301-303(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[28]
...
[29]
...

Referenced by

  1. David Chenho Kung: On Verification of Database Temporal Constraints. SIGMOD Conference 1985: 169-179
  2. Vincent Y. Lum, Sakti P. Ghosh, Mario Schkolnick, Robert W. Taylor, D. Jefferson, Stanley Y. W. Su, James P. Fry, Toby J. Teorey, B. Yao, D. S. Rund, B. Kahn, Shamkant B. Navathe, D. Smith, L. Aguilar, W. J. Barr, P. E. Jones: 1978 New Orleans Data Base Design Workshop Report. VLDB 1979: 328-339

Last update Fri Sep 14 17:37:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page