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}
}

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.

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

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

References

[1]: Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman: The Theory of Joins in Relational Data Bases (Extended Abstract). FOCS 1977: 107-113
[2]: Philip A. Bernstein: Synthesizing Third Normal Form Relations from Functional Dependencies. ACM Trans. Database Syst. 1(4): 277-298(1976)
[3]: ...
[4]: E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)
[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)
[7]: E. F. Codd: Recent Investigations in Relational Data Base Systems. IFIP Congress 1974: 1017-1021
[8]: Ronald Fagin: Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. 2(3): 262-278(1977)
[9]: Michael Hammer, Dennis McLeod: The Semantic Data Model: A Modelling Mechanism for Data Base Applications. SIGMOD Conference 1978: 26-36
[10]: ...
[11]: R. M. Lee, Rob Gerritsen: Extended Semantics for Generalization Hierarchies. SIGMOD Conference 1978: 18-25
[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
[14]: John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977)
[15]: John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977)
[16]: ...