A transaction concept for deductive databases - Cronau, Hans-Jürgen (1990)