この資料をSMS送信: Foundations of semantic subsumption in deductive databases /