A Data-Driven Execution Mechanism for Transaction-Oriented Information Systems. - Raf Venken; D. Donner (Prolog and Databases, 1988)