| 1987 | A Decidable Class of Bounded Recursions. Jeffrey F. Naughton, Yehoshua Sagiv |
| 1987 | A Knowledge Theoretic Analysis of Atomic Commitment Protocols. Vassos Hadzilacos |
| 1987 | A New Basis for the Weak Instance Model. Paolo Atzeni, Maria Cristina De Bernardis |
| 1987 | A Transcation Language Complete for Database Update and Specification. Serge Abiteboul, Victor Vianu |
| 1987 | Answering Queries in Categorial Data Bases. Francesco M. Malvestuto |
| 1987 | Axiomatization and Simplification Rules for Relational Transactions. Almira Karabeg, Dino Karabeg, Kostoula Papakonstantinou, Victor Vianu |
| 1987 | Bounds on the Propagation of Selection into Logic Programs. Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan |
| 1987 | Chickens and Eggs: The Interrelationship of Systems and Theory. Patricia G. Selinger |
| 1987 | Computing Covers for Embedded Functional Dependencies. Georg Gottlob |
| 1987 | Concurrency Control in Database Structures with Relaxed Balance. Otto Nurmi, Eljas Soisalon-Soininen, Derick Wood |
| 1987 | Database Theory: Past and Future. Jeffrey D. Ullman |
| 1987 | Decidability and Expressiveness of Logic Queries. Oded Shmueli |
| 1987 | Decomposing an N-ary Relation into a Tree of Binary Relations. Rina Dechter |
| 1987 | Dynamic Query Interpretation in Relational Databases. Alessandro D'Atri, Paolino Di Felice, Marina Moscarini |
| 1987 | Efficient Evaluation for a Subset of Recursive Queries. Gösta Grahne, Seppo Sippu, Eljas Soisalon-Soininen |
| 1987 | Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints. James P. Delgrande |
| 1987 | Logic Programming With Sets. Gabriel M. Kuper |
| 1987 | Logical Design of Relational Database Systems. Li-Yan Yuan, Z. Meral Özsoyoglu |
| 1987 | Maintenance of Stratified Databases Viewed as a Belief Revision System. Krzysztof R. Apt, Jean-Marc Pugin |
| 1987 | Nested Transactions and Read/Write Locking. Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl |
| 1987 | On Designing Database Schemes Bounded or Constant-time-maintainable with respect to Functional Dependencies. Edward P. F. Chan, Héctor J. Hernández |
| 1987 | On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model. Dirk Van Gucht |
| 1987 | On the Power of Magic. Catriel Beeri, Raghu Ramakrishnan |
| 1987 | One-Sided Recursions. Jeffrey F. Naughton |
| 1987 | Operation Specific Locking in B-Trees. Alexandros Biliris |
| 1987 | Optimizing Datalog Programs. Yehoshua Sagiv |
| 1987 | Performance Results in Multiversion Timestamp Concurrency Control with Predeclared Writesets. Rong Sun, Gomer Thomas |
| 1987 | Perspectives in Deductive Databases (Abstract). Jack Minker |
| 1987 | Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA Moshe Y. Vardi |
| 1987 | Relative Knowledge in a Distributed Database. Tomasz Imielinski |
| 1987 | Safety and Correct Translation of Relational Calculus Formulas. Allen Van Gelder, Rodney W. Topor |
| 1987 | Safety of Recursive Horn Clauses With Infinite Relations. Raghu Ramakrishnan, François Bancilhon, Abraham Silberschatz |
| 1987 | Sets and Negation in a Logic Database Language (LDL1). Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur |
| 1987 | Specification and Implementation of Programs for Updating Incomplete Information Databases. Stephen J. Hegner |
| 1987 | The Parallel Complexity of Simple Chain Queries. Foto N. Afrati, Christos H. Papadimitriou |
| 1987 | The Precedence-Assignment Model for Distributed Database Concurrency Control Algorithms. C. P. Wang, Victor O. K. Li |
| 1987 | Transaction Commitment at Minimal Communication Cost. Adrian Segall, Ouri Wolfson |
| 1987 | Worst-case Complexity Analysis of Methods for Logic Query Implementation. Alberto Marchetti-Spaccamela, Antonella Pelaggi, Domenico Saccà |