Using Powerdomains to Generalize Relational Databases

Using Powerdomains to Generalize Relational Databases (1991)

Cached

Download Links

[ftp.cs.bham.ac.uk]
[www.kurims.kyoto-u.ac.jp]

Other Repositories/Bibliography

DBLP

by Peter Buneman , Achim Jung , Atsushi Ohori

Venue:	Theoretical Computer Science
Citations:	57 - 16 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Using Powerdomains to Generalize Relational Databases	user correction - Legacy Corrections
AUTHOR NAME	Peter Buneman	user correction - Legacy Corrections
AUTHOR AFFIL	y	user correction - Legacy Corrections
AUTHOR NAME	Achim Jung	user correction - Legacy Corrections
AUTHOR AFFIL	y	user correction - Legacy Corrections
AUTHOR NAME	Atsushi Ohori	user correction - Legacy Corrections
AUTHOR AFFIL	y	user correction - Legacy Corrections
ABSTRACT	Much of relational algebra and the underlying principles of relational database design have a simple representation in the theory of domains that is traditionally used in the denotational semantics of programming languages. By investigating the possible orderings on powerdomains that are well-known in the study of nondeterminism and concurrency it is possible to show that many of the ideas in relational databases apply to structures that are much more general than relations. This also suggests a method of representing database objects as typed objects in programming languages. In this paper we show how operations such as natural join and projection -- which are fundamental to relational database design -- can be generalized, and we use this generalized framework to give characterizations of several relational database concepts including functional dependencies and universal relations. All of these have a simple-minded semantics in terms of the underlying domains, which can be thought ...	user correction - Legacy Corrections
YEAR	1991	INFERENCE
VENUE	Theoretical Computer Science	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	23--55	INFERENCE
VOLUME	91	INFERENCE
CITATIONS	6 found	ParsCit 1.0