أرسل هذا في رسالة قصيرة: Integrity constraints checking of transactions for relational and deductive databases /