A Systematic Approach to Relational Database Theory.
Tomasz Imielinski, Witold Lipski Jr.:
A Systematic Approach to Relational Database Theory.
SIGMOD Conference 1982: 8-14@inproceedings{DBLP:conf/sigmod/ImielinskiL82,
author = {Tomasz Imielinski and
Witold Lipski Jr.},
editor = {Mario Schkolnick},
title = {A Systematic Approach to Relational Database Theory},
booktitle = {Proceedings of the 1982 ACM SIGMOD International Conference on
Management of Data, Orlando, Florida, June 2-4, 1982},
publisher = {ACM Press},
year = {1982},
pages = {8-14},
ee = {http://doi.acm.org/10.1145/582353.582356, db/conf/sigmod/ImielinskiL82.html},
crossref = {DBLP:conf/sigmod/82},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
In an attempt to eliminate motivational
inconsistencies, we propose a new approach to
relational database theory. Basically, a database
schema is treated as a relational view defined over
certain atomic, selfexplainable relations,
constituting what we call a conceptual schema. In
this new framework, we revisit some basic notions of
the relational database theory, such as dependencies
and schema equivalence. We point out a fundamental
difference between functional dependencies, which we
treat as constraints over the conceptual schema, and
multivalued and join dependencies, which we treat as
constraints over the database schema, and which are
simply consequences of the way database relations
are constructed from conceptual relations. The
separation of the database schema from the
conceptual schema makes it possible to give a clear
definition of a semantics of a database state. It
also provides a natural framework to consider
equivalence of database schemata.
Copyright © 1982 by the ACM,
Inc., used by permission. Permission to make
digital or hard copies is granted provided that
copies are not made or distributed for profit or
direct commercial advantage, and that copies show
this notice on the first page or initial screen of
a display along with the full citation.
Online Version (ACM WWW Account required): Full Text in PDF Format
CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Mario Schkolnick (Ed.):
Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, Orlando, Florida, June 2-4, 1982.
ACM Press 1982 BibTeX
Contents
References
- [ABU]
- Alfred V. Aho, Catriel Beeri, Jeffrey D. Ullman:
The Theory of Joins in Relational Databases.
ACM Trans. Database Syst. 4(3): 297-314(1979) BibTeX
- [BS]
- François Bancilhon, Nicolas Spyratos:
Independent Components of Databases.
VLDB 1981: 398-408 BibTeX
- [Ber]
- Philip A. Bernstein:
Synthesizing Third Normal Form Relations from Functional Dependencies.
ACM Trans. Database Syst. 1(4): 277-298(1976) BibTeX
- [BG]
- Philip A. Bernstein, Nathan Goodman:
What does Boyce-Codd Normal Form Do?
VLDB 1980: 245-259 BibTeX
- [Cod1]
- E. F. Codd:
A Relational Model of Data for Large Shared Data Banks.
Commun. ACM 13(6): 377-387(1970) BibTeX
- [Cod2]
- E. F. Codd:
Further Normalization of the Data Base Relational Model.
IBM Research Report, San Jose, California RJ909: (1971) BibTeX
- [Cod3]
- 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
- [Fag]
- Ronald Fagin:
Multivalued Dependencies and a New Normal Form for Relational Databases.
ACM Trans. Database Syst. 2(3): 262-278(1977) BibTeX
- [FMU]
- Ronald Fagin, Alberto O. Mendelzon, Jeffrey D. Ullman:
A Simplified Universal Relation Assumption and Its Properties.
ACM Trans. Database Syst. 7(3): 343-360(1982) BibTeX
- [IL1]
- Tomasz Imielinski, Witold Lipski Jr.:
On Representing Incomplete Information in a Relational Data Base.
VLDB 1981: 388-397 BibTeX
- [IL2]
- Tomasz Imielinski, Witold Lipski Jr.:
A Technique for Translating States Between Database Schemata.
SIGMOD Conference 1982: 61-68 BibTeX
- [Klu]
- Anthony C. Klug:
Calculating Constraints on Relational Expressions.
ACM Trans. Database Syst. 5(3): 260-290(1980) BibTeX
- [Lip]
- Witold Lipski Jr.:
On Semantic Issues Connected with Incomplete Information Databases.
ACM Trans. Database Syst. 4(3): 262-296(1979) BibTeX
- [Nic]
- Jean-Marie Nicolas:
First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies.
SIGMOD Conference 1978: 40-46 BibTeX
- [Nij]
- ...
- [Ris]
- Jorma Rissanen:
Theory of Relations for Databases - A Tutorial Survey.
MFCS 1978: 536-551 BibTeX
- [Rei]
- Raymond Reiter:
On Closed World Data Bases.
Logic and Data Bases 1977: 55-76 BibTeX
- [Ull]
- ...
- [Zan]
- ...
Referenced by
- Bernhard Thalheim:
Design Tools for Large Relational Database Systems.
MFDBS 1987: 210-224
- Pascal Ostermann:
Modal Logic and Incomplete Information.
MFDBS 1987: 181-196
- P. S. Neuman:
The Data Model of IDE: A Value Network.
ER 1985: 246-255
- William Kent:
Fact-Based Data Analysis and Design.
ER 1983: 3-53
- Tomasz Imielinski, Witold Lipski Jr.:
A Technique for Translating States Between Database Schemata.
SIGMOD Conference 1982: 61-68
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
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:39:30 2009