Database schema integration is significant not only in building multidatabase systems but also in data warehousing. Metadata, which define schemas, are normally involved in the su...
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...