Final rept. 15 Jun 80-1 Nov 84,
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
The research carried out under this grant from 1979-1984 centered around the design of universal relation database systems. Certain theoretical aspects of dependency theory received attention, especially the theory of acyclic hypergraphs and their corresponding join dependencies. We investigated the use of first-order logic as a way to describe the effect of updates on universal-relation databases, and views in general. A number of other topics concerning database systems also received attention, including concurrency control by locking, data coding for massive write-once memories, hash table designs, and logical interfaces for database systems. Keyword Database theory.
- Computer Hardware