https://123dok.net/document/z3d3x6ld-verification-of-the-cd-rdbms-transformation-case-flora.html