CARMEM HARA
(Universidade Federal do Paraná, Brasil)

***Professora homenageada***


Restrições de Integridade: do Relacional aos Grafos

Resumo: A veracidade é um dos 5 V’s que caracterizam as grandes bases de dados, ou Big Data.  Ela se refere à qualidade dos dados, que envolve a sua corretude e consistência.  A consistência dos dados sempre foi uma preocupação na área de banco de dados e uma das formas de defini-la é através de restrições de integridade.   O estudo das restrições de integridade é uma parte tradicional dos grupos de teoria de banco de dados.  No entanto, diversas aplicações são derivadas destes estudos, tais como na área de integração de dados e limpeza de dados.  Nesta palestra vamos revisitar a influência dos modelos de dados sobre a definição das restrições de integridade a apresentar algumas aplicações nestes diversos modelos.  Vamos começar com os tradicionais conceitos de chaves e dependências funcionais nos modelos relacionais, passando pelos modelos hierárquicos e finalizar com as propostas de definição destas dependências nos modelos de grafos.

Bio: Carmem Satie Hara é professora titular do Departamento de Informática da UFPR, onde coordena o Grupo de Pesquisa em Gerência de Dados e Informações (GDAI). Ela obteve o doutorado na University of Pennsylvania – EUA (2004), mestrado na Universidade Estadual de Campinas (1990) e graduação na Universidade Federal do Paraná (1985).  Organizou o SBBD 2014 em Curitiba, foi coordenadora da Comissão Especial de Banco de Dados da SBC em 2018 e pesquisadora visitante na Université d’Orléans – França em 2015 e 2022.  Desenvolveu projetos de pesquisa nas áreas de restrições de integridade, integração e atualização de dados XML, monitoramento de tráfego de redes utilizando sistemas gerenciadores de fluxos de dados, gerência de dados distribuídos e de sensores e gerência de dados em grafos.  Atualmente participa do projeto “Sistema Inteligente de Monitoramento de Espécies Marinhas”, junto ao Centro de Estudos do Mar da UFPR.