ACM SIGMOD Anthology VLDB dblp.uni-trier.de

A Normal Form for Abstract Syntax.

John Miles Smith: A Normal Form for Abstract Syntax. VLDB 1978: 156-162
@inproceedings{DBLP:conf/vldb/Smith78b,
  author    = {John Miles Smith},
  editor    = {S. Bing Yao},
  title     = {A Normal Form for Abstract Syntax},
  booktitle = {Fourth International Conference on Very Large Data Bases, September
               13-15, 1978, West Berlin, Germany},
  publisher = {IEEE Computer Society},
  year      = {1978},
  pages     = {156-162},
  ee        = {db/conf/vldb/Smith78b.html},
  crossref  = {DBLP:conf/vldb/78},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

McCarthy's abstract syntax is the most widely used metalanguage for specifying data structure. It is embedded in various forms in most recent programing languages and data models. A simpler, yet more powerful, abstract syntax is defined which is particularly effective in database applications. An abstract syntax specification shows how objects are composed as the union and cartesian product of other objects. If a specification is not properly constructed, it is demonstrably difficult to write application programs, maintain database integrity and provide graceful evolution. A normal form, called (3,3)NF, for abstract syntax specifications is introduced. Specifications in this normal form are subject to far fewer of the above utilization problems. Unlike previous normal forms which only prescribe composition with respect to cartesian product, (3,3)NF also prescribes composition with respect to union. Examples of normalization are given and the advantages and limitations of the approach are discussed.

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

S. Bing Yao (Ed.): Fourth International Conference on Very Large Data Bases, September 13-15, 1978, West Berlin, Germany. IEEE Computer Society 1978
Contents BibTeX

References

[1]
Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman: The Theory of Joins in Relational Data Bases (Extended Abstract). FOCS 1977: 107-113 BibTeX
[2]
Philip A. Bernstein: Synthesizing Third Normal Form Relations from Functional Dependencies. ACM Trans. Database Syst. 1(4): 277-298(1976) BibTeX
[3]
...
[4]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX
[5]
...
[6]
E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972) BibTeX
[7]
E. F. Codd: Recent Investigations in Relational Data Base Systems. IFIP Congress 1974: 1017-1021 BibTeX
[8]
Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977) BibTeX
[9]
Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36 BibTeX
[10]
...
[11]
R. M. Lee, Rob Gerritsen: Extended Semantics for Generalization Hierarchies. SIGMOD Conference 1978: 18-25 BibTeX
[12]
...
[13]
John Mylopoulos, Philip A. Bernstein, Harry K. T. Wong: A Language Facility for Designing Interactive Database-Intensive Applications (Abstract). SIGMOD Conference 1978: 17 BibTeX
[14]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977) BibTeX
[15]
John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX
[16]
...

Referenced by

  1. Bernhard Thalheim: State-Conditioned Semantics in Databases. ER 1994: 171-188
  2. Stephen J. Hegner: Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction. PODS 1988: 174-183
  3. Stephen J. Hegner: Algebraic Aspects of Relational Database Decomposition. PODS 1983: 400-413
  4. Ronald Fagin: A Normal Form for Relational Databases That Is Based on Domians and Keys. ACM Trans. Database Syst. 6(3): 387-415(1981)
  5. Clesio Saraiva dos Santos: The Quest for Comprehensive Semantic Formalisms. VLDB 1979: 83-84
  6. Edward Sciore: Improving Semantic Specification in a Relational Database. SIGMOD Conference 1979: 170-178
  7. Ronald Fagin: Normal Forms and Relational Database Operators. SIGMOD Conference 1979: 153-160
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:02 2009