Authors: Henryk Rybinski, James Vorbach, Jaroslaw A. Chudziak
Tags: 1993, conceptual modeling
In the paper we look for the solution of two problems: the unification of various paradigms of semantic database models inside one logical framework, and schema mismatch problems arising during merging process of two schemata from different models. As an approach we use SEL-logic, which captures database data level and metalevel (schema) information in such a way as to permit reasoning at both levels. Both levels are expressed as first-order logic formalisms.Read the full paper here: https://link.springer.com/chapter/10.1007/BFb0024390
