Journal: J. Comput. Syst. Sci.

Volume 28, Issue 1

3 -- 28Moshe Y. Vardi. The Implication and Finite Implication Problems for Typed Template Dependencies
29 -- 59Marco A. Casanova, Ronald Fagin, Christos H. Papadimitriou. Inclusion Dependencies and Their Interaction with Functional Dependencies
60 -- 79Nathan Goodman, Oded Shmueli. The Tree Projection Theorem and Relational Query Processing
80 -- 102Tomasz Imielinski, Witold Lipski Jr.. The Relational Model of Data and Cylindric Algebras
103 -- 120Paris C. Kanellakis, Christos H. Papadimitriou. Is Distributed Locking Harder?
121 -- 141Marc H. Graham, Mihalis Yannakakis. Independent Database Schemas
142 -- 166Carlo Zaniolo. Database Relations with Null Values
167 -- 189David S. Johnson, Anthony C. Klug. Testing Containment of Conjunctive Queries under Functional and Inclusion Dependencies