Text this: Transactions and Change in Logic Databases