|
Bases
de Datos y Teoría de Modelos
Palabras
Claves: bases de datos; computabilidad de Queries; complejidad
Queries; modelos computación; lógica; teoría
de Modelos; circuitos Booleanos
Resumen:
Nos proponemos estudiar las consultas a bases de datos, o queries,
usando como marco teórico la Teoría de Modelos Finitos,
y contribuir a la construcción de una Teoría de
Bases de Datos que, por una parte, abarque en la forma más
completa posible las aplicaciones reales y, por la otra, que admita
la consideración de problemas en la computación
de queries y en la estructura de las BD que puedan surgir de la
utilización de nuevas tecnologías en la materia,
como las BD distribuidas. También buscaremos la caracterización
de propiedades de las bases de datos que sean convenientes en
relación a la computación de queries con lenguajes
incompletos, o a la complejidad de su evaluación, siguiendo
la línea de las propiedades como: rigidez, L-rigidez, rigidez
parcial, L-rigidez parcial y casi rigidez.
Tipo
de investigación: Aplicada - Año de convocatoria:
2002- Duración: Anual
Databases
and Model Theory
Key
words: relational databases; Queries computability; Queries complexity;
computation models; logic, model theory; Booleans circuits
Abstract:
We propose to study the queries to databases using as theoretical
frame the Finite Model Theory, and to contribute to the construction
of a Theory of Databases that covers as completely as possible
the real applications, and that it admits the consideration of
problems in the query computation and into the structure of databases
that can appear by the utilization of new technologies in the
matter, such as distributed databases. Also, we will look for
the characterization of convenient properties of databases, in
relation to query computation with incomplete languages, or the
complexity of its evaluation, following the direction of the properties
as L-rigid, partial rigid, partial L-rigid and almost rigid.
Type
of Research: Aplicada - Year of Call: 2002 - Aplicada - Period:
Triannual
Director
NAVARRO,
BADINO
E-mail
jmturull@hotmail.com
|
