SYSTEM/U: a database system based on the universal relation assumption

System/U is a universal relation database system under development at Standford University which uses the language C on UNIX. The system is intended to test the use of the universal view, in which the entire database is seen as one relation. This paper describes the theory behind System/U, in partic...

Full description

Saved in:
Bibliographic Details
Published in:ACM transactions on database systems 1984-09, Vol.9 (3), p.331-347
Main Authors: Korth, Henry F., Kuper, Gabriel M., Feigenbaum, Joan, van Gelder, Allen, Ullman, Jeffrey D.
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Data access methods
Data management systems
Data structures
Database design and models
Database management system engines
Database query languages (principles)
Database query processing
Database query processing and optimization (theory)
Database theory
Discrete mathematics
Exact sciences and technology
Graph theory
Information systems
Information systems. Data bases
Integral equations
Mathematical analysis
Mathematics of computing
Memory organisation. Data processing
Paths and connectivity problems
Query languages
Software
Theory and algorithms for application domains
Theory of computation
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:System/U is a universal relation database system under development at Standford University which uses the language C on UNIX. The system is intended to test the use of the universal view, in which the entire database is seen as one relation. This paper describes the theory behind System/U, in particular the theory of maximal objects and the connection between a set of attributes. We also describe the implementation of the DDL (Data Description Language) and the DML (Data Manipulation Language), and discuss in detail how the DDL finds maximal objects and how the DML determines the connection between the attributes that appear in a query.
ISSN:0362-5915
1557-4644
DOI:10.1145/1270.1209