Fellow
United States – 2000
CITATION

For creating the field of finite model theory, and for fundamental research in relational database theory and in reasoning about knowledge.