Heterogeneous view integration via sketches and equations

In the paper a new approach to semantic modeling and view integration is proposed. The underlying data model is graph-based yet completely formalized so that graphical schemas themselves are precise specifications suitable for implementation: the approach is an adaptation of a familiar in the mathematical category theory specification framework based on the so called sketches. On this ground, a procedure of automated view integration is developed. Its distinctive feature consists in specifying correspondence between different views (on the same universe of discourse) by equations that reduces the integration task to a sequence of formal algebraic procedures.