https://123dok.net/document/z1d44jdz-a-dynamic-logic-account-of-active-integrity-constraints.html