發送短信 : Integrity constraints checking of transactions for relational and deductive databases /