ACM SIGMOD Anthology VLDB dblp.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}
}
BibTeX

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 ... BibTeX

Printed Edition

Proceedings of the Third International Conference on Very Large Data Bases, October 6-8, 1977, Tokyo, Japan. IEEE Computer Society 1977
Contents BibTeX

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 BibTeX
[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) BibTeX
[14]
J. Daniel Couger: Evolution of Business System Analysis Techniques. ACM Comput. Surv. 5(3): 167-198(1973) BibTeX
[15]
...
[16]
...
[17]
...
[18]
...
[19]
Beverly K. Kahn: A Method for Describing Information Required by the Database Design Process. SIGMOD Conference 1976: 53-64 BibTeX
[20]
Larry Kerschberg, Anthony C. Klug, Dennis Tsichritzis: A Taxonomy of Data Models. VLDB 1976: 43-64 BibTeX
[21]
...
[22]
Börje Langefors: Information Systems. IFIP Congress 1974: 937-945 BibTeX
[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) BibTeX
[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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings (1977-1981): Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:45:00 2009