Text this: Integrity constraints checking of transactions for relational and deductive databases /