Dispositivo de tratamiento de datos con definición formal.

Dispositivo de tratamiento de datos, que comprendeuna unidad de tratamiento (200) capaz de interaccionar con una base de datos (100),

comprendiendola base de datos unas tablas de datos (110);una interfaz gráfica de usuario establecida para permitir a un usuario introducir una expresiónmatemática;comprendiendo la unidad de tratamiento:un editor de expresión matemática (210) capaz de establecer una representación informática detrabajo de una expresión matemática en interacción con la interfaz gráfica de usuario, hallándose laexpresión matemática en lenguaje natural matemático y comprendiendo ésta al menos un símbolo devariable matemática compleja, que presenta un índice y/o un exponente, y un símbolo matemáticoagregativo que opera con el símbolo de variable matemática compleja;

un diccionario de símbolos (130) el cual, establecido para almacenar metadatos referentes al símbolode variable matemática compleja, comprende información sobre la estructura de tablas (110) de labase de datos (100);

un editor de condiciones (180; 240) dispuesto para producir una expresión de condición, asociada alsímbolo de variable matemática compleja, siendo la expresión de condición utilizable en combinacióncon los metadatos para seleccionar un subconjunto de datos de la base de datos (100);

un generador de consultas (220; 230) dispuesto para tratar la representación informática de trabajopara producir una secuencia de código que ejecuta la expresión matemática de acuerdo con las reglasdel lenguaje natural matemático y con el reconocimiento del símbolo matemático agregativo y delsí mbolo de variable matemática compleja con el cual opera:

utilizar el editor de condiciones (180; 240) para producir una expresión de condición de trabajo;utilizar los metadatos para producir un código capaz de utilizar la expresión de condición de trabajopara rellenar un cuadro de datos de trabajo con tal subconjunto de datos y,

combinar el operador correspondiente al símbolo matemático agregativo con el cuadro de datos detrabajo.

Dispositivo de tratamiento de datos con definición formal

La invención tiene relación con los dispositivos de tratamiento de datos y, más particularmente, con un dispositivo de tratamiento de datos, el cual comprende un editor de fórmula, capaz de establecer una fórmula que obedece a unas primeras reglas formales, con ayuda de identificadores de variables, un juego de metadatos, capaz de mantener una correspondencia entre los identificadores de variables y unos datos almacenados en memoria, y un generador de código, capaz de generar un código que ejecuta la fórmula matemática sobre unos datos almacenados.

Los soportes lógicos matemáticos utilizan un lenguaje natural matemático, los cuales son capaces de interpretarlo para realizar los cálculos formales matemáticos. Sin embargo, no están adaptados para el tratamiento de un gran volumen de datos. Además, no están adaptados para la gestión de índices como para no definidas, por ejemplo bajo forma de función.

las hojas de cálculo utilizan un lenguaje propio de las mismas para expresar un tratamiento sobre unos datos. Estas, además, están limitadas por el volumen de los datos que pueden tratar.

la patente US 2004/0133567 A1 describe optimizaciones y estrategias de ejecución para unas extensiones de tipo hoja de cálculo en lenguaje SOL (del inglés "Structured Ouer y Language", o "lenguaje de consulta estructurado" en español) . Se pueden definir cálculos que han de efectuarse sobre una base de datos utilizando una sintaxis de tipo hoja de cálculo en una cláusula insertada en el interior de una consulta Sal. los cálculos son definidos directamente por medio de operaciones sobre las líneas y las columnas de una tabla rellena de datos extraídos de la base. la definición de los cálculos requiere sin embargo el conocimiento de la sintaxis del lenguaje de la hoja de cálculo y la localización de los datos en los cuales va a centrarse el cálculo en cuanto este último quede definido. Además, los cálculos que se pueden definir están limitados por las posibilidades de este tipo de lenguaje.

los generadores de código se encargan de la transcripción de objetos informáticos a un código ejecutable. Estos no permiten transformar una fórmula matemática en código ejecutable. Además, están destinados a usuarios conocedores de la informática.

la invención tiene por objeto, en particular, superar los inconvenientes antedichos al proponer un dispositivo de tratamiento de datos, el cual comprende una unidad de tratamiento capaz de interaccionar con una base de datos, comprendiendo la base de datos unas tablas de datos, una interfaz gráfica de usuario dispuesta para permitir a un usuario introducir una expresión matemática. la unidad de tratamiento comprende un editor de expresión matemática capaz de establecer una representación informática de trabajo de una expresión matemática en interacción con la interfaz gráfica de usuario, estando la expresión matemática en lenguaje natural matemático y comprendiendo ésta al menos un símbolo de variable matemática compleja, que presenta un índice y/o un exponente, y un símbolo matemático agregativo que opera con el símbolo de variable matemática compleja, un diccionario de símbolos dispuesto para almacenar unos primeros metadatos referentes al símbolo de variable matemática compleja, y comprendiendo unas informaciones sobre la estructura de las tablas de la base de datos, un editor de condiciones dispuesto para producir una expresión de condición, asociada al símbolo de variable matemática compleja, siendo la expresión de condición utilizable en combinación con los primeros metadatos para seleccionar un subconjunto de datos de la base de datos, un generador de consultas dispuesto para tratar la representación informática de trabajo para producir una secuencia de código que ejecuta la expresión matemática de manera acorde con las reglas del lenguaje natural matemático y, con el reconocimiento del símbolo matemático agregativo y del símbolo de variable matemática compleja con el cual el opera, de utilizar el editor de condiciones para producir una expresión de condiciones de trabajo, de los primeros metadatos para producir un código capaz de utilizar la expresión de condición para rellenar un cuadro de datos de trabajo con tal subconjunto de datos y de combinar el operador correspondiente al símbolo matemático agregativo con el cuadro de datos de trabajo.

El dispositivo según la invención permite así la definición de un tratamiento informático, por ejemplo un cálculo, el cual ha de realizarse sobre grandes volúmenes de datos, expresándose tal tratamiento en lenguaje natural matemático.

Otras características y ventajas de la invención se irán poniendo de manifiesto conforme se examine la descripción detallada que sigue, y los dibujos que se acompañan, en los cuales:

la figura 1 es un esquema que representa funcionalmente los diferentes elementos de un dispositivo de tratamiento de datos según la invención, de manera global,

la figura 7 es un organigrama que detalla la operación 506 de la figura 5,

la figura 8 es un organigrama que detalla la operación 508 de la figura 8,

la figura 8A es un organigrama que detalla la operación 850 de la figura 8,

la figura 9 es un organigrama que detalla la operación 900 de la figura 7 y de la figura SA,

las figuras 1 DA, 108 Y 10C son unos organigramas que detallan la operación 1000 de la figura 9 en diferentes casos,

la figura 11 es un organigrama que ilustra el funcionamiento de un elemento del dispositivo de la figura 1,

la figura 12 es un esquema que ilustra una interfaz gráfica de usuario de otro elemento de la figura 1,

la figura 13 es un organigrama que ilustra el funcionamiento de otro elemento de la figura 1, Y

la figura 14 es un esquema que ilustra un ejemplo de puesta en práctica del dispositivo de tratamiento de datos según la invención.

Además:

el anexo 1 es un glosario,

los anexos 2 y 3 transcriben fórmulas matemáticas en diferentes formas, utilizadas para la descripción, y

el anexo 4 detalla la noción de función de resumen (hash) .

Los dibujos y los anexos a la descripción comprenden, en lo fundamental, elementos de índole inequívoca. Por lo tanto, podrán no sólo servir para hacer comprender mejor la descripción, sino también contribuir a la definición de la invención, si es el caso.

La presente patente puede contener elementos susceptibles de una protección mediante derechos de autor o copyright. El titular de los derechos no tiene objeción a que cualquier persona reproduzca idénticamente este documento de patente, tal y como aparece en los expedientes y/o publicaciones de las oficinas de patentes. Por el contrario, en todo lo demás se reserva la totalidad de sus derechos de autor y/o de copyright.

La figura 1 representa un dispositivo de tratamiento de datos según la invención. El dispositivo de tratamiento de datos comprende una base de datos OB 100 almacenada en la memoria de una unidad central de proceso de ordenador, no representada en la figura 1, Y un programa de tratamiento de los datos OPP 200 ejecutable en la memoria de una unidad central de proceso de ordenador, no representada. Por ejemplo, la base de datos OB 100 Y el programa de tratamiento de los datos OPP 200 pueden estar almacenados en la misma memoria de unidad central de proceso de ordenador. En el anexo A.1.1 se ofrece una definición del término "base de datos".

El programa de tratamiento de los datos OPP 200 es capaz de interaccionar con la base de datos OB 100 mediante medios conocidos por el experto en la materia para realizar acciones informáticas convencionales. Estas acciones comprenden operaciones sobre los datos contenidos en la base de datos OB 100 como son la lectura, la escritura, la búsqueda y la actualización y acciones sobre la estructura de la base de datos OB 100 como son la creación, la eliminación de tablas, etc. En el anexo A.1.2 se aporta una definición del término ''tabla''.

La base de datos OB 100 contiene datos que van a tratarse OAT 110. Los datos que... [Seguir leyendo]

1. Dispositivo de tratamiento de datos, que comprende

una unidad de tratamiento (200) capaz de interaccionar con una base de datos (100) , comprendiendo la base de datos unas tablas de datos (110) ;

una interfaz gráfica de usuario establecida para permitir a un usuario introducir una expresión matemática;

comprendiendo la unidad de tratamiento:

un editor de expresión matemática (210) capaz de establecer una representación informática de trabajo de una expresión matemática en interacción con la interfaz gráfica de usuario, hallándose la expresión matemática en lenguaje natural matemático y comprendiendo ésta al menos un símbolo de variable matemática compleja, que presenta un índice y/o un exponente, y un símbolo matemático agregativo que opera con el símbolo de variable matemática compleja;

un diccionario de símbolos (130) el cual, establecido para almacenar metadatos referentes al símbolo de variable matemática compleja, comprende información sobre la estructura de tablas (110) de la base de datos (100) ;

un editor de condiciones (180; 240) dispuesto para producir una expresión de condición, asociada al símbolo de variable matemática compleja, siendo la expresión de condición utilizable en combinación con los metadatos para seleccionar un subconjunto de datos de la base de datos (100) ;

un generador de consultas (220; 230) dispuesto para tratar la representación informática de trabajo para producir una secuencia de código que ejecuta la expresión matemática de acuerdo con las reglas del lenguaje natural matemático y con el reconocimiento del símbolo matemático agregativo y del sí mbolo de variable matemática compleja con el cual opera:

utilizar el editor de condiciones (180; 240) para producir una expresión de condición de trabajo;

utilizar los metadatos para producir un código capaz de utilizar la expresión de condición de trabajo para rellenar un cuadro de datos de trabajo con tal subconjunto de datos y,

combinar el operador correspondiente al símbolo matemático agregativo con el cuadro de datos de trabajo.

2. Dispositivo de tratamiento de datos según la reivindicación 1, caracterizado porgue el símbolo matemático agregativo comprende un operador agregativo, de la clase suma o producto, el cual trabaja sobre un símbolo de variable matemática compleja.

3. Dispositivo de tratamiento de datos según la reivindicación 2, caracterizado porgue, habiéndose asociado anteriormente un símbolo de variable matemática compleja a al menos una columna de al menos una tabla (110) , la expresión de condición restringe el juego de valores contenido en esta columna.

4. Dispositivo de tratamiento de datos según una de las reivindicaciones precedentes, caracterizado porgue el editor de expresión matemática (210) está dispuesto para establecer una representación informática de una secuencia de expresiones matemáticas que comprende los símbolos matemáticos agregativos referentes a los símbolos de variables matemáticas complejas y porgue el generador de consultas (230) está dispuesto para reaccionar iterativamente al encuentro, en cada expresión, de un símbolo matemático agregativo y de un símbolo asociado de variable matemática compleja produciendo, con ayuda de metadatos particulares y del código ya establecido para ese símbolo de variable matemática compleja, código ejecutable capaz de resolver la condición contenida en dicha expresión, llenando al propio tiempo el cuadro de datos de trabajo (195) con los datos derivados de la resolución de la condición, así como de aplicar a este cuadro de datos de trabajo el operador correspondiente al símbolo matemático agregativo.

5. Dispositivo de tratamiento de datos según una de las reivindicaciones precedentes, caracterizado porgue el editor de expresión matemática (210) está dispuesto para tratar una expresión matemática que comprende los símbolos matemáticos agregativos, operante cada uno de ellos sobre un símbolo de variable matemática compleja, porgue, en presencia de un símbolo matemático agregativo en la representación informática de trabajo procedente del editor de expresión matemática, el editor de condiciones (240) es susceptible de ser accionado para establecer una correspondencia entre un símbolo matemático agregativo y un metadato particular con su símbolo asociado de variable matemática compleja produciendo, con ayuda del metadato particular y de la naturaleza del operador correspondiente al símbolo matemático agregativo del código ejecutable capaz de resolver la condición contenida en dicha expresión, llenando al propio tiempo el cuadro de datos de trabajo (195) con los datos derivados de la resolución de la condición,

así como de aplicar este operador particular a este cuadro de datos de trabajo.

6. Dispositivo de tratamiento de datos según una de las anteriores reivindicaciones precedentes, caracterizado porgue el generador de consultas (230; 220) comprende un mecanismo apto para efectuar selectivamente tratamientos diferentes según la comparación de una cadena de la representación informática de trabajo con tres conjuntos de diferentes posibilidades, los cuales respectivamente representan un operador de agregación, un operador simple y un símbolo reservado, pudiendo dicho mecanismo ser activado sobre una prueba relativa a un símbolo de operador matemático.

7. Dispositivo de tratamiento de datos según la reivindicación 6, caracterizado porgue el generador de consultas (220; 230) comprende un mecanismo apto para efectuar selectivamente los tratamientos diferentes sobre la base de una prueba relativa a un símbolo de variable.

8. Dispositivo de tratamiento de datos según una de las anteriores reivindicaciones precedentes, caracterizado ..P..Q.I comprender además un editor de tratamiento (250) capaz de establecer una expresión de un encadenamiento ordenado de expresiones matemáticas a partir de unas segundas reglas formales.

9. Dispositivo de tratamiento de datos según una de las reivindicaciones precedentes, caracterizado por comprender además un generador de consultas suplementario (260) capaz de establecer, para un símbolo de variable particular, partiendo de datos almacenados (110) correspondientes a este símbolo de variable particular, una progresión matemática que relaciona estos datos entre sí.

10. Dispositivo de tratamiento de datos según la reivindicación 9, caracterizado porgue el generador de consultas suplementario (260) es capaz de generar un código que ejecuta dicha progresión para completar el conjunto de los datos almacenados (110) asociados a dicho símbolo de variable particular.

11. Dispositivo de tratamiento de datos según una de las reivindicaciones precedentes, caracterizado porgue el generador de consultas (220; 230) está dispuesto para autorizar condicionalmente, en una expresión matemática, un símbolo de variable matemática cuyos metadatos asociados contienen una expresión en espera, sin correspondencia inmediata con los datos almacenados en memoria.

12. Dispositivo de tratamiento de datos según una de las reivindicaciones precedentes, caracterizado porgue el cuadro de datos de trabajo (195) es un cuadro abierto, susceptible de ser llenado con posterioridad por el generador de consultas (220; 230) en particular para el tratamiento de expresiones matemáticas sucesivas.

13. Programa-producto susceptible de cooperar con un ordenador para constituir el dispositivo de tratamiento de los datos según una de las reivindicaciones precedentes.