Static dependency analysis for semantic data validation - D. V. Ilyin; N. Yu. Fokina; V. A. Semenov (Труды Института системного программирования РАН, 2018)