Language extensions for semantic integration of deductive databases

A language in support of semantic integration of deductive databases is proposed. The language allows one to construct mediators by extending logic programming with a suite of operators for composing programs and message passing features. The abstract semantics and implementation techniques of the extensions are discussed, and an example of integration of databases supporting libraries and departments is used to illustrate the usefulness of the approach.