Derivations of relational structures by applying productions are considered. The corresponding concepts are taken from the existing algebraic (category theory) approach to transformations of relational structures. An idea of programs for defining sets of derivations is introduced. A number of programming constructs is introduced to specify applications of productions in a controlled way. These constructs are given together with two mathematical semantics which allow a rigorous reasoning about programs.