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.
Copyright © 1978 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
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
![bibliographical record in XML](../../xml.gif)
- [2]
- Philip A. Bernstein:
Synthesizing Third Normal Form Relations from Functional Dependencies.
ACM Trans. Database Syst. 1(4): 277-298(1976)
![bibliographical record in XML](../../xml.gif)
- [3]
- ...
- [4]
- E. F. Codd:
A Relational Model of Data for Large Shared Data Banks.
Commun. ACM 13(6): 377-387(1970)
![bibliographical record in XML](../../xml.gif)
- [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)
![bibliographical record in XML](../../xml.gif)
- [7]
- E. F. Codd:
Recent Investigations in Relational Data Base Systems.
IFIP Congress 1974: 1017-1021
![bibliographical record in XML](../../xml.gif)
- [8]
- Ronald Fagin:
Multivalued Dependencies and a New Normal Form for Relational Databases.
ACM Trans. Database Syst. 2(3): 262-278(1977)
![bibliographical record in XML](../../xml.gif)
- [9]
- Michael Hammer, Dennis McLeod:
The Semantic Data Model: A Modelling Mechanism for Data Base Applications.
SIGMOD Conference 1978: 26-36
![bibliographical record in XML](../../xml.gif)
- [10]
- ...
- [11]
- R. M. Lee, Rob Gerritsen:
Extended Semantics for Generalization Hierarchies.
SIGMOD Conference 1978: 18-25
![bibliographical record in XML](../../xml.gif)
- [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
![bibliographical record in XML](../../xml.gif)
- [14]
- John Miles Smith, Diane C. P. Smith:
Database Abstractions: Aggregation.
Commun. ACM 20(6): 405-413(1977)
![bibliographical record in XML](../../xml.gif)
- [15]
- John Miles Smith, Diane C. P. Smith:
Database Abstractions: Aggregation and Generalization.
ACM Trans. Database Syst. 2(2): 105-133(1977)
![bibliographical record in XML](../../xml.gif)
- [16]
- ...
Copyright © Tue Mar 16 02:21:55 2010
by Michael Ley (ley@uni-trier.de)