| 1995 | The Size of a Revised Knowledge Base. | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf |
| 1995 | Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data. | Alexander Brodsky, Catherine Lassez, Jean-Louis Lassez, Michael J. Maher |
| 1995 | Applying an Update Method to a Set of Receivers. | Marc Andries, Luca Cabibbo, Jan Paredaens, Jan Van den Bussche |
| 1994 | Tutorial: Languages for Collection Types. | Val Tannen |
| 1994 | A Query Language for NC. | Dan Suciu, Val Tannen |
| 1994 | Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure. | Dan Suciu, Jan Paredaens |
| 1994 | Compiling Query Constraints. | Peter J. Stuckey, S. Sudarshan |
| 1994 | Constraints among Argument Sizes in Logic Programs. | Kirack Sohn |
| 1994 | Path Caching: A Technique for Optimal External Searching. | Sridhar Ramaswamy, Sairam Subramanian |
| 1994 | Dyn-FO: A Parallel, Dynamic Complexity Class. | Sushant Patnaik, Neil Immerman |
| 1994 | Towards a Theory of Spatial Database Queries. | Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht |
| 1994 | A Polymorphic Calculus for Views and Object Sharing. | Atsushi Ohori, Keishi Tajima |
| 1994 | Universal Finiteness and Satisfiability. | Inderpal Singh Mumick, Oded Shmueli |
| 1994 | Object Migration. | Alberto O. Mendelzon, Tova Milo, Emmanuel Waller |
| 1994 | New Techniques for Studying Set Languages, Bag Languages and Aggregate Functions. | Leonid Libkin, Limsoon Wong |
| 1994 | The Power of Sampling in Knowledge Discovery. | Jyrki Kivinen, Heikki Mannila |
| 1994 | A Decomposition-Based Simulated Annealing Technique for Data Clustering. | Kien A. Hua, Sheau-Dong Lang, Wen K. Lee |
| 1994 | Functional Database Query Languages as Typed Lambda Calculi of Fixed Order. | Gerd G. Hillebrand, Paris C. Kanellakis |
| 1994 | Will I be Pretty, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering (Summary). | David Harel |
| 1994 | On the Relative Cost of Sampling for Join Selectivity Estimation. | Peter J. Haas, Jeffrey F. Naughton, Arun N. Swami |
| 1994 | Constraint Checking with Partial Information. | Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, Jennifer Widom |
| 1994 | Finitely Representable Databases. | Stphane Grumbach, Jianwen Su |
| 1994 | Reasoning about Strings in Databases. | Gsta Grahne, Matti Nyknen, Esko Ukkonen |
| 1994 | Tutorial: Text Dominated Databases, Theory Practice and Experience. | Gaston H. Gonnet |
| 1994 | Beyond Uniformity and Independence: Analysis of R-trees Using the Concept of Fractal Dimension. | Christos Faloutsos, Ibrahim Kamel |