Editor's foreword
Why a single parallelization trategy is not enough in knowledge bases
B-trees with inserts and deletes: Why free-at-empty is better than merge-at-half
A logic for programming with complex objects
Algebraic and calculus query languages for recursively typed complex objects
The impact of recovery on concurrency control
The alternating fixpoint of logic programs with negation
Logical query optimization by proof-tree transformation