DEVICE FOR PROCESSING FORMALLY DEFINED DATA

A data processing device, including a formula editor capable of establishing a formal mathematical formula with variable identifiers, a set on metadata maintaining correspondence between the identifiers and stored data, and a code generator capable of generating a code executing the formula on the stored data. An editor of conditions establishes an expression of condition operable on database tables to provide a data table. The formula editor authorizes a particular notation bearing on a particular operator and a variable identifier, in the presence of which the condition editor is actuated to establish a correspondence with a particular metadata serving as a pointer to an expression of condition and to a standby table, and the code generator produces through the particular metadata of the executable code resolving the condition and fills the standby table with the data derived from the resolution of the condition and applies the operator to the table.