3. ICDT 1990: Paris, France

Finite Model Theory

Object-Oriented Databases

Data Structures

Constraint Logic Programming

Dependencies

Concurrency Control

Fault Tolerance

Logic and Databases

Updates

Optimization