Device for processing formally defined data
US8122431B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Oct 11, 2005 |
| Grant date | Feb 21, 2012 |
| Priority date | — |
| Expiry date | Jul 31, 2028 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F40/111
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.