Structural synthesis of data processing programs

Article type: Research Article

Authors: Laurinskas, Justinas | Taučaitė, Gražina

Affiliations: Institute of Mathematics and Informatics, Lithuanian Academy of Sciences, 232600 Vilnius, K.Požėlos St.54, Lithuania

Abstract: Data processing programs combine computations with navigation in a data base. Methods of the structural synthesis of programs are oriented towards construction of computing programs, and the methods of synthesis of relations are oriented towards construction of (logical) navigation paths. An approach to the integration of methods of the structural synthesis of programs and methods of the synthesis of relations is proposed. This approach is based on a computation model (a set of formulas), describing both computations and navigation paths. The sound and complete system of inference rules for the class of formulas, used in such computation models, is given.

Keywords: structural synthesis of programs, relational data bases, synthesis of relations, inference rules

DOI: 10.3233/INF-1990-1207

Journal: Informatica, vol. 1, no. 2, pp. 110-120, 1990