Asatryan, A.J. 2024. Constraint Management in Database Applications via Checker Framework. Mathematical Problems of Computer Science. 23, (Dec. 2024), 12–19.