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