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
Fecha límite participación
Sin fecha límite de participación.
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2015-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.
¿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
Fecha límite de participación
Sin fecha límite de participación.
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