Transactions and Change in Logic Databases