Seol mar théacs é seo: Foundations of semantic subsumption in deductive databases /