| 1990 | Deriving Constraints Among Argument Sizes in Logic Programs. | Allen Van Gelder |
| 1990 | A Serialization Graph Construction for Nested Transactions. | Alan D. Fekete, Nancy A. Lynch, William E. Weihl |
| 1990 | Independence of Logic Database Queries and Updates. | Charles Elkan |
| 1990 | GraphLog: a Visual Formalism for Real Life Recursion. | Mariano P. Consens, Alberto O. Mendelzon |
| 1990 | Polynomial Time Query Processing in Temporal Deductive Databases. | Jan Chomicki |
| 1990 | Load Control for Locking: The 'Half-and-Half' Approach. | Michael J. Carey, Sanjay Krishnamurthi, Miron Livny |
| 1990 | Efficient Processing of Window Queries in The Pyramid Data Structure. | Walid G. Aref, Hanan Samet |
| 1990 | Locks with Constrained Sharing. | Divyakant Agrawal, Amr El Abbadi |
| 1990 | Non-Deterministic Languages to Express Deterministic Transformations. | Serge Abiteboul, Eric Simon, Victor Vianu |
| 1990 | Method Schemas. | Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller |
| 1990 | On the Optimality of Disk Allocation for Cartesian Product Files. | Khaled A. S. Abdel-Ghaffar, Amr El Abbadi |
| 1989 | A Sound and Complete Query Evaluation Algorithm for Relational Databases with Disjunctive Information. | Li-Yan Yuan, Ding-An Chiang |
| 1989 | On the Power of Alexander Templates. | Hirohisa Seki |
| 1989 | The Impact of Recovery on Concurrency Control. | William E. Weihl |
| 1989 | Can Constant-time Maintainability Be More Practical? | Ke Wang |
| 1989 | Automata Theory for Database Theoreticans. | Moshe Y. Vardi |
| 1989 | Bottom-Up Beats Top-Down for Datalog. | Jeffrey D. Ullman |
| 1989 | Attribute Agreement. | Y. C. Tay |
| 1989 | Modular Architectures for Distributed and Database Systems. | Alfred Z. Spector |
| 1989 | Linearizing Nonlinear Recursions in Polynomial Time. | Yatin P. Saraiya |
| 1989 | Safety of Datalog Queries over Infinite Databases. | Yehoshua Sagiv, Moshe Y. Vardi |
| 1989 | Clustered Multiattribute Hash Files. | Doron Rotem |
| 1989 | A Procedural Semantics for Well Founded Negation in Logic Programs. | Kenneth A. Ross |
| 1989 | Proof-Tree Transformation Theorems and Their Applications. | Raghu Ramakrishnan, Yehoshua Sagiv, Jeffrey D. Ullman, Moshe Y. Vardi |
| 1989 | Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. | Teodor C. Przymusinski |