Title: A transaction concept for deductive databases