George Copeland, David Maier
Available in: PDF
Author: sigmodrecord
Relational algebras, logic, and functional programming
Implementation of data abstraction in the relational database system INGRES
A straightforward formalization of the relational model
Practical hardware for linear execution of relational database operations
An informal approach to formal specifications
Distributing a database for parallel processing is NP-hard
Some comments on “Deadlock detection is cheap” in SIGMOD record Jan 83
Review of “The fifth generation: artificial intelligence and Japan’s computer challenge to the world” by Edward A. Feigenbaum and Pamela McCorduck. Addison-Wesley 1983.
Overview of an Ada compatible distributed database manager
Arvola Chan, Umeshwar Dayal, Stephen Fox, Nathan Goodman, Daniel R. Ries, Dale Skeen
Available in: PDF