Asatryan, A. J. Constraint Management in Database Applications via Checker Framework. MPCS 2024, 23, 12-19.