14
1
March
1984
Chairman's Column.
i
i
Bea Yormark
Editor's Notes.
ii
ii
Jon D. Clark
Call for Papers: OIS 1984, Parallel Processing 1984, 1984 NCC, PODS 1984.
iii
vi
Jon D. Clark
Implementation of Data Abstraction in the Relational Database System Ingres.
1
14
James Ong
Dennis Fogg
Michael Stonebraker
A Straightforward Formalization of the Relational Model.
15
38
Timo Niemi
Kalervo Järvelin
Practical Hardware for Linear Execution of relational database Operations.
39
44
T. H. Merrett
An Informal Approach to Formal Specifications.
45
54
Antonio L. Furtado
Distributing a database for Parallel Processing is NP-hard.
55
60
H. C. Du
Some Comments on "Deadlock Detection is Cheap" in SIGMOD Record Jan 83.
61
63
W. N. Chin
Book Review - Edward A. Feigenbaum and Pamela McCorduck, The Fifth Generation: Artificial Intelligence and Japan's Computer Challenge to the World.
64
65
Neil C. Rowe