1. Preface

   • Shamim A. Naqvi
   • Shalom Tsur

   EditorialNotes Pages: I - II

2. Non-determinism in logic-based languages

   • Serge Abiteboul
   • Victor Vianu

   OriginalPaper Pages: 151 - 186

3. A data structure for arc insertion and regular path finding

   • Adam L. Buchsbaum
   • Paris C. Kanellakis
   • Jeffrey Scott Vitter

   OriginalPaper Pages: 187 - 210

4. An object-oriented deductive language

   • Yves Caseau

   OriginalPaper Pages: 211 - 258

5. Incomplete deductive databases

   • Tomasz Imielinski

   OriginalPaper Pages: 259 - 293

6. Parallelism in logic programs

   • Raghu Ramakrishnan

   OriginalPaper Pages: 295 - 329

7. The input/output complexity of transitive closure

   • Jeffrey D. Ullman
   • Mihalis Yannakakis

   OriginalPaper Pages: 331 - 360

8. Deriving constraints among argument sizes in logic programs

   • Allen Van Gelder

   OriginalPaper Pages: 361 - 392

9. The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?

   • R. J. Wieringa
   • H. Weigand
   • F. P. M. Dignum

   OriginalPaper Pages: 393 - 428

10. Circumscriptive semantics for updating knowledge bases

    • Marianne Winslett

    OriginalPaper Pages: 429 - 450