Link Search Menu Expand Document


Theoretical Background

CorrLang is based on a mathematical formalism called Comprehensive Systems and additionally uses the concept of colimits to perform schema merging. Our paper published in FoAC gives a very thorough introduction into these ideas.


The following figure gives a high-level overview on “how” CorrLang works.