An informal approach to formal specifications A. L. Furtado Available in: PDF Published in April 1983 (Vol.13 No.3)
Comparison of four relational data model specifications Winfried Lamersdorf Available in: PDF Published in April 1983 (Vol.13 No.3)
Adding database management to Ada Patrick A. V. Hall Available in: PDF Published in April 1983 (Vol.13 No.3)
The optimal selection of secondary indices is NP-complete Gregory Piatetsky-Shapiro Available in: PDF Published in January 1983 (Vol.13 No.2)
An approach to the user interface and semantic integrity for a relational DBMS Haim Kilov Available in: PDF Published in January 1983 (Vol.13 No.2)
Constraints: consistency and integrity Mukul K Sinha Available in: PDF Published in January 1983 (Vol.13 No.2)
Fixing pages in a database buffer Wolfgang Effelsberg Available in: PDF Published in January 1983 (Vol.13 No.2)
Why sort-merge gives the best implementation of the natural join T. H. Merrett Available in: PDF Published in January 1983 (Vol.13 No.2)
Comments on optimality of B-trees Juergen Klonk Available in: PDF Published in January 1983 (Vol.13 No.2)
Deadlock detection is cheap Rakesh Agrawal, Michael J. Carey, David J. DeWitt Available in: PDF Published in January 1983 (Vol.13 No.2)