Operational Semantics for Fixed−Point Logics on Constraint Databases - Kreutzer, S (Springer, 2001)