Datalog extensions for database queries and updates
deterministic and non-deterministic extensions
non-deterministic fixpoint extensions of first-order logic
scientific article; zbMATH DE number 13982
scientific article