Publication:4885913

zbMath0852.03015MaRDI QIDQ4885913

Iain A. Stewart

Publication date: 5 December 1996

zbMATH Keywords

monotonicity; database query languages; Datalog; descriptive complexity theory; least fixed points; extended Ehrenfeucht-Fraïsse games

Mathematics Subject Classification ID

03D15: Complexity of computation (including implicit computational complexity)

03C13: Model theory of finite structures

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)