A logical basis for schema integration

An important part of information systems development and distributed database design is schema integration. The author shows how problems in schema integration can be analyzed using concepts from logic programming and deductive databases. It is shown how equivalent constructs of conceptual schemas can be represented by so called integration assertions. He suggests criteria that specify when conceptual schemas can be meaningfully integrated, and he proposes a method for automatically integrating schemas starting from a set of integration assertions.<>