1. Optimization of a subclass of conjunctive queries

   • Joachim Biskup
   • Pratul Dublish
   • Yehoshua Sagiv

   OriginalPaper Pages: 1 - 26

2. What is failure? An approach to constructive negation

   • Wlodzimierz Drabent

   OriginalPaper Pages: 27 - 59

3. A formal identification between tuples and lists with an application to list-arithmetic categories

   • I. P. de Guzmán
   • M. Ojeda
   • A. Valverde

   OriginalPaper Pages: 61 - 78

4. Parallel integer sorting using small operations

   • Ramachandran Vaidyanathan
   • Carlos R. P. Hartmann
   • Pramod K. Varshney

   OriginalPaper Pages: 79 - 92