 | 1981 |
9 |  | David W. Shipman:
The Functional Data Model and the Data Language DAPLEX.
ACM Trans. Database Syst. 6(1): 140-173 (1981) |
| 1980 |
8 |  | James B. Rothnie Jr.,
Philip A. Bernstein,
Stephen Fox,
Nathan Goodman,
Michael Hammer,
Terry A. Landers,
Christopher L. Reeve,
David W. Shipman,
Eugene Wong:
Introduction to a System for Distributed Databases (SDD-1).
ACM Trans. Database Syst. 5(1): 1-17 (1980) |
7 |  | Philip A. Bernstein,
David W. Shipman,
James B. Rothnie Jr.:
Concurrency Control in a System for Distributed Databases (SDD-1).
ACM Trans. Database Syst. 5(1): 18-51 (1980) |
6 |  | Philip A. Bernstein,
David W. Shipman:
The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1).
ACM Trans. Database Syst. 5(1): 52-68 (1980) |
5 |  | Michael Hammer,
David W. Shipman:
Reliability Mechanisms for SDD-1: A System for Distributed Databases.
ACM Trans. Database Syst. 5(4): 431-466 (1980) |
| 1979 |
4 |  | David W. Shipman:
The Functional Data Model and the Data Language DAPLEX (Abstract).
SIGMOD Conference 1979: 59 |
3 |  | David W. Shipman:
Handling Network Partitions in Distributed Databases.
IEEE Database Eng. Bull. 3(1): 3-8 (1979) |
2 |  | Philip A. Bernstein,
David W. Shipman,
Wing S. Wong:
Formal Aspects of Serializability in Database Concurrency Control.
IEEE Trans. Software Eng. 5(3): 203-216 (1979) |
| 1978 |
1 |  | Philip A. Bernstein,
David W. Shipman:
A Formal Model of Concurrency Control Mechanisms for Database Systems.
Berkeley Workshop 1978: 189-205 |