Hola,
¿eres nuevo aquí?

Registrate y conecta tu empresa con financiación pública, partners y proyectos.

EUIN2015-62732

Financiado

UNA APROXIMACION RIGUROSA A LA CONSISTENCIA EN BASES DE DATOS CLOUD

LOS MODERNOS SERVICIOS DE INTERNET ALMACENAN LOS DATOS EN NUEVAS BASES DE DATOS CLOUD, LAS CUALES PARTICIONAN Y REPLICAN DICHOS DATOS A LO LARGO DE UN GRAN NUMERO DE MAQUINAS Y CON GRAN EXPANSION GEOGRAFICA, PARA LOGRAR UNA ALTA D... ver más

01/01/2015

IMDEA SOFTWARE INS...

2K€

Presupuesto del proyecto: 2K€

Líder del proyecto

IMDEA SOFTWARE INSTITUTE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5 | 650K€

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2015-01-01

0% 100%

Participantes

IMDEA SOFTWARE INSTITUTE

Lider

Proyectos interesantes

RACCOON A Rigorous Approach to Consistency in Cloud Databases 1M€ Cerrado

TIN2016-81698-ERC UN ENFOQUE RIGUROSO DE LA CONSISTENCIA EN BASES DE DATOS EN... 75K€ Cerrado

CloudDBAppliance European Cloud In Memory Database Appliance with Predictable... 5M€ Cerrado

TIN2016-80350-P CLOUDDB: UNA BASE DE DATOS ULTRAESCALABLE, EFICIENTE Y ALTAM... 173K€ Cerrado

UNPC08-4E-005 Cluster de Calculo de Alto Rendimiento del Departamento MA-I... 60K€ Cerrado

TIN2010-19077 CLOUDSTORM: PLATAFORMAS DE SERVICIOS CLOUD ESCALABLES Y CONF... 126K€ Cerrado

Últimas noticias

30-11-2024: Cataluña Gestión For... Se ha cerrado la línea de ayuda pública: Gestión Forestal Sostenible para Inversiones Forestales Productivas para el organismo:

29-11-2024: IDAE En las últimas 48 horas el Organismo IDAE ha otorgado 4 concesiones

29-11-2024: ECE En las últimas 48 horas el Organismo ECE ha otorgado 2 concesiones

Líder del proyecto

IMDEA SOFTWARE INSTITUTE

TRL 4-5 | 650K€

Presupuesto del proyecto 2K€

Descripción del proyecto LOS MODERNOS SERVICIOS DE INTERNET ALMACENAN LOS DATOS EN NUEVAS BASES DE DATOS CLOUD, LAS CUALES PARTICIONAN Y REPLICAN DICHOS DATOS A LO LARGO DE UN GRAN NUMERO DE MAQUINAS Y CON GRAN EXPANSION GEOGRAFICA, PARA LOGRAR UNA ALTA DISPONIBILIDAD Y ESCALABILIDAD, LAS BASES DE DATOS CLOUD NECESITAN MAXIMIZAR EL PARALELISMO DEL PROCESAMIENTO DE DATOS, DESAFORTUNADAMENTE, ESTO LES LLEVA A SOCAVAR LAS GARANTIAS QUE DICHO SERVICIOS PROPORCIONAN ACERCA DE LA CONSISTENCIA DE DATOS EN LAS APLICACIONES, EL USO CORRECTO DE LOS MODELOS DE PROGRAMACION RESULTANTES ES UN DESAFIO, YA QUE ACTUALMENTE NO SE DISPONE DE METODOS AVANZADOS Y HERRAMIENTAS QUE PUEDAN AYUDAR A LOS PROGRAMADORES EN ESTA TAREA,EL OBJETIVO DEL PROYECTO ES DESARROLLAR UNA SINERGIA DE NOVEDOSOS METODOS DE RAZONAMIENTO, HERRAMIENTAS DE ANALISIS ESTATICO Y TECNICAS DE IMPLEMENTACION DE BASES DE DATOS QUE PUEDAN EXPLOTA AL MAXIMO EL PARALELISMO IN BASES DE DATOS CLOUD, A LA VEZ QUE PERMITAN A LOS PROGRAMADORES ASEGURAR LA EXACTITUD DE LOS MISMOS, PRETENDEMOS LOGRARLO MEDIANTE EL DESARROLLO INICIAL DE METODOS DE RAZONAMIENTO FORMAL ACERCA DE COMO SOCAVAR LAS GARANTIAS DE CONSISTENCIA OFRECIDAS POR LAS BASES DE DATOS CLOUD AFECTA A LA APLICACION DE LA EXACTITUD Y EL PARALELISMO EN DICHAS BASES DE DATOS, ESTO PERMITIRA POSTERIORMENTE EL DESARROLLO DE TECNICAS EN LAS AREAS DE LENGUAJES DE PROGRAMACION Y VERIFICACION DE SOFTWARE, LA TEORIA RESULTANTE SERVIRA POSTERIORMENTE COMO BASE PARA LA IMPLEMENTACION PRACTICA DE LAS TECNICAS Y HERRAMIENTAS QUE APROVECHEN EL PARALELISMO DE LA BASE DE DATOS, PERO SOLAMENTE HASTA TAL PUNTO QUE NO COMPROMETA LA APLICACION DE LA EXACTITUD, EL PROYECTO PROPUESTO ES DE ALTO RIESGO DADO QUE ES INTERDISCIPLINAR, PRETENDIENDO NO SOLAMENTE DESARROLLAR UNA TEORIA RIGUROSA DE LA CONSISTENCIA EN BASES DE DATOS CLOUD, SI NO QUE TAMBIEN PERMITA APLICARLA EN LA PRACTICA AL DISEÑO DE SISTEMAS, EL PROYECTO ES TAMBIEN DE GRAN BENEFICIO DADO QUE AMPLIARA LOS ACTUALES LIMITES EN DISPONIBILIDAD, ESCALABILIDAD Y COSTE-EFICIENCIA DE LAS BASES DE DATOS CLOUD, CIENCIA DE LA COMPUTACIÓN TEÓRICA MÉTODO\SISTEMAS DE COMPUTACIÓN\SISTEMAS PARALELOS/DISTRIBUIDOS REDES DE\SISTEMAS WEB Y DE INFORMACIÓN\SISTEMAS DE BASES DE DATOS\RECUPERACIÓN DE INFORMACIÓN Y LIBRERÍAS \ANÁLISIS ESTÁTICO LÓGICA DE PROGRAMACIÓN

Conecta tu I+D

Entra hoy

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores