Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

TIN2016-81698-ERC

Financiado

UN ENFOQUE RIGUROSO DE LA CONSISTENCIA EN BASES DE DATOS EN LA NUBE

LOS SERVICIOS DE INTERNET ACTUALES, ALMACENAN LOS DATOS EN NOVEDOSAS BASES DE DATOS EN LA NUBE, LAS CUALES PARTICIONAN Y REPLICAN LOS DATOS A LO LARGO DE UNA SERIE DE MAQUINAS Y CON UNA AMPLIA EXPANSION GEOGRAFICA. PARA CONSEGUIR... ver más

01/01/2016

IMDEA SOFTWARE INS...

75K€

Presupuesto del proyecto: 75K€

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 2016-01-01 No tenemos la información de la convocatoria

0% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

Participantes

IMDEA SOFTWARE INSTITUTE

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

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

EUIN2015-62732 UNA APROXIMACION RIGUROSA A LA CONSISTENCIA EN BASES DE DATO... 2K€ Cerrado

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

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

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

TIN2010-18650 SECLOUD: SEMANTICA EN LA NUBE 25K€ Cerrado

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€

Presupuesto del proyecto 75K€

Descripción del proyecto LOS SERVICIOS DE INTERNET ACTUALES, ALMACENAN LOS DATOS EN NOVEDOSAS BASES DE DATOS EN LA NUBE, LAS CUALES PARTICIONAN Y REPLICAN LOS DATOS A LO LARGO DE UNA SERIE DE MAQUINAS Y CON UNA AMPLIA EXPANSION GEOGRAFICA. PARA CONSEGUIR UNAS ALTAS DISPONIBILIDAD Y ESCALABILIDAD, LAS BASES DE DATOS EN LA NUBE NECESITAN MAXIMIZAR EL PARALELISMO DEL PROCESADO DE DATOS. DESAFORTUNADAMENTE, ESTO LAS LLEVA A FLAQUEAR EN LAS GARANTIAS ACERCA DE LA CONSISTENCIA, QUE DICHAS BASES DE DATOS OFRECEN A LAS DISTINTAS APLICACIONES. EL CORRECTO USO DE LOS MODELOS DE PROGRAMACION RESULTANTES ES ACTUALMENTE UN DESAFIO IMPORTANTE, YA QUE NO DISPONEMOS DE METODOS Y HERRAMIENTAS AVANZADOS QUE PUEDAN AYUDAR A LOS PROGRAMADORES EN ESTA TAREA. EL OBJETIVO DEL PRESENTE PROYECTO ES DESARROLLAR UNA SINERGIA DE NOVEDOSOS METODOS DE RAZONAMIENTO, HERRAMIENTAS DE ANALISIS ESTATICO E IMPLEMENTACION DE TECNICAS EN BASES DE DATOS QUE EXPLOTEN AL MAXIMO EL PARALELISMO DENTRO DE LAS PROPIAS BASES DE DATOS EN LA NUBE Y A LA VEZ PERMITAN A LOS PROGRAMADORES DE APLICACIONES ASEGURAR LA EXACTITUD DE LAS MISMAS. PRETENDEMOS LLEGAR A ELLO EN PRIMER LUGAR DESARROLLANDO METODOS PARA EL RAZONAMIENTO FORMAL ACERCA DE COMO EL FLAQUEAR EN LAS GARANTIAS DE CONSISTENCIA OFRECIDAS POR LAS BASES DE DATOS EN LA NUBE AFECTA A LA EXACTITUD DE LAS APLICACIONES Y AL PARALELISMO PERMITIDO DENTRO DE DICHAS BASES DE DATOS. ESTO COMPLEMENTARA TECNICAS DE AREAS DE LENGUAJES DE PROGRAMACION Y DE VERIFICACION. LA TEORIA RESULTANTE SERVIRA POSTERIORMENTE COMO BASE PARA LA IMPLEMENTACION PRACTICA DE TECNICAS Y HERRAMIENTAS QUE APROVECHEN EL PARALELISMO EN BASES DE DATOS, PERO SOLAMENTE DE UNA MANERA TAL QUE SUS POSIBLES EFECTOS SECUNDARIOS NO COMPROMETAN LA EXACTITUD DE LA APLICACION.EL PROYECTO PROPUESTO ES ARRIESGADO DADA SU INTERDISCIPLINARIEDAD, Y TAMBIEN PRESENTA UN ALTO POTENCIAL DE BENEFICIO, DADO QUE IMPULSARIA LA COBERTURA EN DISPONIBILIDAD, ESCALABILIDAD Y LA RELACION COSTE-EFICACIA DE LAS BASES DE DATOS EN LA NUBE. NÁLISIS ESTÁTICO\PARALELISMO\COMPUTACIÓN EN LA NUBE\BASES DE DATOS DISTRIBUIDAS\LÓGICA DE PROGRAMAS

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores