{"id":18597,"date":"2021-12-16T01:26:58","date_gmt":"2021-12-16T00:26:58","guid":{"rendered":"https:\/\/inlab.fib.upc.edu\/projecte\/tintin-a-tool-for-incremental-integrity-checking\/"},"modified":"2025-11-17T11:01:42","modified_gmt":"2025-11-17T10:01:42","slug":"tintin-a-tool-for-incremental-integrity-checking","status":"publish","type":"projecte","link":"https:\/\/inlab.fib.upc.edu\/es\/projecte\/tintin-a-tool-for-incremental-integrity-checking","title":{"rendered":"TINTIN: a Tool for Incremental INTegrity checking para el MICIU"},"content":{"rendered":"","protected":false},"author":63,"featured_media":18006,"template":"","meta":{"_acf_changed":true},"experteses":[27],"tencnologies":[515,520,519,521],"class_list":["post-18597","projecte","type-projecte","status-publish","has-post-thumbnail","hentry","experteses-knowledgeyserviceengineering-es","tencnologies-java-es","tencnologies-jpa-es","tencnologies-microsoft-net-es","tencnologies-sqlserver-es"],"acf":{"minidescripcio":"TINTIN es una herramienta para apoyar las aserciones SQL en bases de datos relacionales.","ordre_prioritat":5,"descripcio":"

El proyecto consiste en el desarrollo de TINTIN, una herramienta para apoyar las aserciones SQL en bases de datos relacionales.<\/p>\n

Las aserciones SQL es la forma est\u00e1ndar de definir restricciones de negocio, es decir, restricciones que los datos de nuestro sistema deben satisfacer. Algunas restricciones de negocio, como por ejemplo claves primarias o claves for\u00e1neas, ya tienen un soporte nativo en los Sistemas Gestores de Bases de Datos (SGBD) actuales, pero ning\u00fan SGBD es capaz de comprobar restricciones m\u00e1s gen\u00e9ricas que requieren, precisamente del uso de aserciones. Esto implica que, a d\u00eda de hoy, para implementar estas validaciones, los desarrolladores software deben dedicar horas y esfuerzos en la implementaci\u00f3n manual de estas comprobaciones, lo que comporta un sobrecoste en el proyecto, por no decir que pone en riesgo la su calidad en tanto que esta actividad, al ser manual, es muy propensa a los errores.<\/p>\n

Con este proyecto se prev\u00e9 construir una prueba de concepto que permitir\u00eda apoyar, autom\u00e1ticamente, las aserciones. Los usuarios de esta herramienta ser\u00e1n ingenieros software que, gracias a la capacidad autom\u00e1tica de comprobaci\u00f3n de restricciones de negocio, podr\u00e1n delegar la programaci\u00f3n de reglas de validaci\u00f3n de datos en esta herramienta, lo que implicar\u00e1 un ahorro de costes y aumento de calidad en el desarrollo de su software. La idea principal de que los usuarios introduzcan en TINTIN sus reglas de negocio que quiere que se comprueben, en formato de aserciones SQL, y que TINTIN genere, a partir de \u00e9stas, y sin necesidad de intervenci\u00f3n del usuario, una serie de disparadores y procedimientos a nivel de base de datos que los compruebe autom\u00e1ticamente.<\/p>\n

Para el desarrollo del proyecto se parte de un prototipo de investigaci\u00f3n, que ser\u00e1 extendido para facilitar su integraci\u00f3n en las bases de datos, apoyar entornos con transacciones concurrentes, y aumentar su capacidad operativa (tanto en t\u00e9rminos de expresividad de lenguaje, como en t\u00e9rminos de tecnolog\u00edas de bases de datos)<\/p>\n

Proyecto PDC2021-121363-I00 de investigaci\u00f3n financiado por MCIN\/AEI \/10.13039\/501100011033 y por la Uni\u00f3n Europea Next GenerationEU\/ PRTR<\/p>","image":"\"\"\"\"<\/a>","url":"","data_inici_pro":"20211201","data_fi_pro":"20231117","client":[27282],"entitat_finan":"","colab":"","responsable":[221],"equip":[221,1168,657,10,1182,1079,620],"escert":"0","mpi":"1","accio":"0","padih":"0","nacional":"1","participants":"","participants2":"","projecte_final":"","articles_presentacions":"