Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) BD
The Nautilus Analyzer – Understanding and Debugging Data Transformations
Melanie Herschel

15 February 2013, 14h00 - 15 February 2013, 15h30
Salle/Bat : 445/PCRI-N
Contact : melanie.herschel@lri.fr

Activités de recherche :

Résumé :
When developing data transformations - a task omnipresent in applications like data integration, data migration, data cleaning, or scientific data processing - developers quickly face the need to verify the semantic correctness of the transformation.
Declarative specifications of data transformations, e.g., SQL or ETL~tools, increase developer productivity but usually provide limited or no means for inspection or debugging. In this situation, developers today have no choice but to manually analyze the transformation and, in case of an error, to (repeatedly) fix and test the transformation.

The goal of the Nautilus project is to semi-automatically support this analysis-fix-test cycle. This talk and demonstration focus on one main component of Nautilus, namely the Nautilus Analyzer that helps developers in understanding and debugging their data transformations. After a brief introduction to different algorithms implemented within Nautilus, the demonstration will show the capabilities of this component for data transformations specified in SQL on scenarios from different domains that are based on real-world data.

Pour en savoir plus :
Séminaires
Distributed decision and verification by mobile ag
Algorithmique distribuée
Tuesday 22 January 2019 - 10h30
Salle : 465 - PCRI-N
Evangelos Bampas .............................................

Redundancy in Distributed Proofs
Algorithmique distribuée
Tuesday 04 December 2018 - 00h00
Salle : 465 - PCRI-N
Ami Paz .............................................

Some recent results on the integer linear programm
Théorie des graphes
Friday 30 November 2018 - 00h00
Salle : 445 - PCRI-N
Hung Nguyen .............................................

Scalable and exhaustive screening of metabolic fun
Wednesday 28 November 2018 - 11h00
Salle : 465 - PCRI-N
Clémence Frioux .............................................

De la sociologie *avec* des algorithmes à la socio
Friday 09 November 2018 - 14h30
Salle : 445 - PCRI-N
Christpohe Prieur .............................................