發送短信 : Foundations of semantic subsumption in deductive databases /