Melhorias nas Consultas de Caminhos em Gráfos: Expressão, Avaliação e Satisfiabilidade Mínima
Linguagens livres de contexto; consultas em grafos (bancos de dados); minimização de grafos.
Lidamos com três problemas relacionados com grafos e linguagens livres de contexto:
(1) desenvolvemos uma notação alternativa para expressar linguagens livres de contexto;
(2) concebemos, implementamos e experimentamos um algoritmo de avaliação de consultas de caminhos linguagens livres de contexto; e
(3) formalizamos o problema de minimização de grafos usando linguagens formais, para o qual desenhamos uma solução para o caso em que a linguagem é livre de contexto.