| 1990 | Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications. | Lin Yu, Daniel J. Rosenkrantz |
| 1990 | Three-Valued Formalization of Logic Programming: Is It Needed? | Jia-Huai You, Li-Yan Yuan |
| 1990 | Graph-Theoretic Methods in Database Theory. | Mihalis Yannakakis |
| 1990 | Quasilinear Algorithms for Processing Relational Calculus Expressions. | Dan E. Willard |
| 1990 | Multi-Level Recovery. | Gerhard Weikum, Christof Hasse, Peter Brssler, Peter Muth |
| 1990 | On the Optimality of Strategies for Multiple Joins. | Y. C. Tay |
| 1990 | Token Transactions: Managing Fine-Grained Migration of Data. | Va-On Tam, Meichun Hsu |
| 1990 | Data-value Partitioning and Virtual Messages. | Nandit Soparkar, Abraham Silberschatz |
| 1990 | The Expressive Powers of the Logic Programming Semantics. | John S. Schlipf |
| 1990 | Polynomial-Time Program Transformations in Deductive Databases. | Yatin P. Saraiya |
| 1990 | Stable Models and Non-Determinism in Logic Programs with Negation. | Domenico Sacc, Carlo Zaniolo |
| 1990 | Backward Chaining Evaluation in Stratified Disjunctive Theories. | Vronique Royer |
| 1990 | Modular Stratification and Magic Sets for DATALOG Programs with Negation. | Kenneth A. Ross |
| 1990 | Semigroup Techniques in Recursive Query Optimization. | Thane E. Plambeck |
| 1990 | A Novel Checkpointing Scheme for Distributed Database Systems. | Slawomir Pilarski, Tiko Kameda |
| 1990 | Magic Conditions. | Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan |
| 1990 | Query Size Estimation by Adaptive Sampling. | Richard J. Lipton, Jeffrey F. Naughton |
| 1990 | Querying Constraints. | Jean-Louis Lassez |
| 1990 | On the Expressive Power of Datalog: Tools and a Case Study. | Phokion G. Kolaitis, Moshe Y. Vardi |
| 1990 | Research Directions in Object-Oriented Database Systems. | Won Kim |
| 1990 | Constraint Query Languages. | Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz |
| 1990 | Handling Infinite Temporal Data. | Froduald Kabanza, Jean-Marc Stvenne, Pierre Wolper |
| 1990 | A Framework for the Performance Analysis of Concurrent B-tree Algorithms. | Theodore Johnson, Dennis E. Shasha |
| 1990 | On Being Optimistic about Real-Time Constraints. | Jayant R. Haritsa, Michael J. Carey, Miron Livny |
| 1990 | A Graph-Oriented Object Database Model. | Marc Gyssens, Jan Paredaens, Dirk Van Gucht |