|
El
projecte FOLRE
|
Aquesta es la pàgina principal del WWW corresponent al
projecte FOLRE, a
Catalunya.
El nostre grup està format per persones que pertanyen a la Secció
de Sistemes d'Informació del Departament
de Llenguatges i Sistemes Informàtics de la Universitat
Politècnica de Catalunya a Barcelona
FOLRE és a la vegada un acrònim de "Facing On towards
Logic database Rule Enforcement" i el nom de l'estructura humana que
permet
aixecar
castells més alts i que s'acostuma a situar sobre la pinya.
Aquesta pàgina s'estructura en:
Publicacions del
projecte disponibles.
Descripció
L'objectiu principal del projecte FOLRE és el
de tractar aspectes relacionats les bases de dades que admeten la
definició d'informació intensional. Aquesta
definició s'efectua generalment mitjançant vistes, que
permeten inferir nous fets (fets derivats o vistes) a partir dels fets
físicament emmagatzemats, i restriccions d'integritat, que
defineixen condicions que tot estat de la base de dades hauria de
satisfer. Les bases de dades relacionals, les deductives, les
objecte-relacional, etc., són exemples representatius i
suficientment coneguts d'aquest tipus de base de dades.
En aquest context, el nostre objectiu és, i ha estat, el
d'estudiar els problemes relacionats amb la validació de
l'esquema d'una base de dades d'aquest tipus i també tractar de
proporcionar un tractament
integrat dels problemes que apareixen en actualitzar el seu contingut.
Això inclou, entre d'altres, el manteniment de vistes
materialitzades, l'actualització de vistes, la
comprovació i el manteniment de restriccions d'integritat, la
monitorització de condicions, etc.
Interessos actuals de recerca
Actualment, la nostra línia principal d'investigació
està orientada al desenvolupament d'una eina per a la
validació de l'esquema d'una base de dades relacional definit en
SQL Server en el marc del projecte "Database Schema Validation with SQL
Server" finançat per Microsoft Research. A més,
també estem treballant en d'altres temes com ara:
- Validació de l'esquema d'una base de dades.
- Tractament uniforme dels problemes d'actualització de la
base de dades..
- Conteniment de consultes.
Components del Grup
- Carlos Bertrán (estudiant de Projecte Final de Carrera)
- David Gañán (Enginyer contractat)
Col.laboracions internacionals
Institut für Informatik --- Universität Bonn (D).
School of Mathematical and Computer Sciences ---
Heriot-Watt University, Edinburgh (UK)
Dip. di Elettronica e Informazione --- Politecnico di
Milano (I).
Finançament actual
Microsoft Research, grant 2003-192.
Acció
integrada amb Escòcia, Generalitat de Catalunya, 2004.
Escriviu-nos a folre@lsi.upc.es
per a qualsevol questió o suggeriment.
Darrera actualització: 26 de gener de 2004
English
version
