Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability
Ano de defesa: | 2022 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
Tipo de documento: | Tese |
Tipo de acesso: | Acesso aberto |
Idioma: | por |
Instituição de defesa: |
Universidade Federal do Rio Grande do Norte
|
Programa de Pós-Graduação: |
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO
|
Departamento: |
Não Informado pela instituição
|
País: |
Brasil
|
Palavras-chave em Português: | |
Área do conhecimento CNPq: | |
Link de acesso: | https://repositorio.ufrn.br/handle/123456789/50056 |
Resumo: | Nós tratamos três problemas relacionados a consultas de caminhos em grafos. A maioria das linguagens de consulta em grafos atuais suporta consultas de caminhos regulares. No entanto, algumas aplicações, como análise de código-fonte e genética, exigem consultas de caminhos livres-de-contexto. As consultas de caminhos livres-de-contexto usam linguagens livres-de-contexto. Não existe uma notação padrão para linguagens livres-de-contexto mais simples do que gramáticas livres-de-contexto. A avaliação de uma consulta de caminhos livres-de-contexto é mais complexa do que a de uma consulta de caminhos regulares. Além disso, em algumas aplicações, deseja-se ter o grafo mínimo que preserve as respostas para uma determinada consulta de caminhos. Para resolver cada um desses problemas, nós: (1) desenvolvemos uma notação alternativa para expressar linguagens livres-de-contexto; (2) projetamos, implementamos e experimentamos um algoritmo de avaliação de consulta de caminhos livres-de-contexto; e (3) formalizamos o problema da minimização de grafos restrita a uma linguagem formal, para o qual desenvolvemos soluções para os casos em que a linguagem formal é regular ou livre-de-contexto. |
id |
UFRN_bd9fbba2cfa5e42f45c75328c4fd8654 |
---|---|
oai_identifier_str |
oai:https://repositorio.ufrn.br:123456789/50056 |
network_acronym_str |
UFRN |
network_name_str |
Repositório Institucional da UFRN |
repository_id_str |
|
spelling |
Medeiros, Ciro Moraishttp://lattes.cnpq.br/0837783758558004https://orcid.org/0000-0001-5589-3895http://lattes.cnpq.br/6034405930958244Halfeld-Ferrari, MirianHara, Carmem SatieGoldbarg, Elizabeth Ferreira Gouveahttp://lattes.cnpq.br/2888641121265608Musicante, Martin Alejandro2022-12-08T22:50:05Z2022-12-08T22:50:05Z2022-08-30MEDEIROS, Ciro Morais. Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability. Orientador: Martin Alejandro Musicante. 2022. 99f. Tese (Doutorado em Ciência da Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2022.https://repositorio.ufrn.br/handle/123456789/50056Nós tratamos três problemas relacionados a consultas de caminhos em grafos. A maioria das linguagens de consulta em grafos atuais suporta consultas de caminhos regulares. No entanto, algumas aplicações, como análise de código-fonte e genética, exigem consultas de caminhos livres-de-contexto. As consultas de caminhos livres-de-contexto usam linguagens livres-de-contexto. Não existe uma notação padrão para linguagens livres-de-contexto mais simples do que gramáticas livres-de-contexto. A avaliação de uma consulta de caminhos livres-de-contexto é mais complexa do que a de uma consulta de caminhos regulares. Além disso, em algumas aplicações, deseja-se ter o grafo mínimo que preserve as respostas para uma determinada consulta de caminhos. Para resolver cada um desses problemas, nós: (1) desenvolvemos uma notação alternativa para expressar linguagens livres-de-contexto; (2) projetamos, implementamos e experimentamos um algoritmo de avaliação de consulta de caminhos livres-de-contexto; e (3) formalizamos o problema da minimização de grafos restrita a uma linguagem formal, para o qual desenvolvemos soluções para os casos em que a linguagem formal é regular ou livre-de-contexto.We deal with three problems related to graph path queries. Most current graph query languages support regular path queries. However, some applications such as source-code analysis and genetics require context-free path queries. Context-free path queries use context-free languages. There is no standard notation for context-free languages simpler than context-free grammars. The evaluation of a context-free path query is more complex than a regular path query. Moreover, in some applications, it is desired to have the minimum graph that preserves answers to a given path query. To address each of those problems, we: (1) develop an alternative notation for expressing context-free languages; (2) design, implement and experiment with a context-free path query evaluation algorithm; and (3) formalize the formal-language-constrained graph minimization problem, for which we design solutions for the cases where the formal language is regular or context-free.Universidade Federal do Rio Grande do NortePROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃOUFRNBrasilCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAOComputaçãoContext-free languagesGraph path queriesGraph minimizationImprovements on graph path queries: expression, evaluation, and minimum-weight satisfiabilityinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFRNinstname:Universidade Federal do Rio Grande do Norte (UFRN)instacron:UFRNORIGINALImprovementsgraphpath_Medeiros_2022.pdfapplication/pdf4132507https://repositorio.ufrn.br/bitstream/123456789/50056/1/Improvementsgraphpath_Medeiros_2022.pdfba318ca4fda8bc0c45565a36bed7c202MD51123456789/500562022-12-08 19:50:37.355oai:https://repositorio.ufrn.br:123456789/50056Repositório de PublicaçõesPUBhttp://repositorio.ufrn.br/oai/opendoar:2022-12-08T22:50:37Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN)false |
dc.title.pt_BR.fl_str_mv |
Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability |
title |
Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability |
spellingShingle |
Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability Medeiros, Ciro Morais CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO Computação Context-free languages Graph path queries Graph minimization |
title_short |
Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability |
title_full |
Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability |
title_fullStr |
Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability |
title_full_unstemmed |
Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability |
title_sort |
Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability |
author |
Medeiros, Ciro Morais |
author_facet |
Medeiros, Ciro Morais |
author_role |
author |
dc.contributor.authorLattes.pt_BR.fl_str_mv |
http://lattes.cnpq.br/0837783758558004 |
dc.contributor.advisorID.pt_BR.fl_str_mv |
https://orcid.org/0000-0001-5589-3895 |
dc.contributor.advisorLattes.pt_BR.fl_str_mv |
http://lattes.cnpq.br/6034405930958244 |
dc.contributor.referees1.none.fl_str_mv |
Hara, Carmem Satie |
dc.contributor.referees2.none.fl_str_mv |
Goldbarg, Elizabeth Ferreira Gouvea |
dc.contributor.referees2Lattes.pt_BR.fl_str_mv |
http://lattes.cnpq.br/2888641121265608 |
dc.contributor.author.fl_str_mv |
Medeiros, Ciro Morais |
dc.contributor.advisor-co1.fl_str_mv |
Halfeld-Ferrari, Mirian |
dc.contributor.advisor1.fl_str_mv |
Musicante, Martin Alejandro |
contributor_str_mv |
Halfeld-Ferrari, Mirian Musicante, Martin Alejandro |
dc.subject.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO |
topic |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO Computação Context-free languages Graph path queries Graph minimization |
dc.subject.por.fl_str_mv |
Computação Context-free languages Graph path queries Graph minimization |
description |
Nós tratamos três problemas relacionados a consultas de caminhos em grafos. A maioria das linguagens de consulta em grafos atuais suporta consultas de caminhos regulares. No entanto, algumas aplicações, como análise de código-fonte e genética, exigem consultas de caminhos livres-de-contexto. As consultas de caminhos livres-de-contexto usam linguagens livres-de-contexto. Não existe uma notação padrão para linguagens livres-de-contexto mais simples do que gramáticas livres-de-contexto. A avaliação de uma consulta de caminhos livres-de-contexto é mais complexa do que a de uma consulta de caminhos regulares. Além disso, em algumas aplicações, deseja-se ter o grafo mínimo que preserve as respostas para uma determinada consulta de caminhos. Para resolver cada um desses problemas, nós: (1) desenvolvemos uma notação alternativa para expressar linguagens livres-de-contexto; (2) projetamos, implementamos e experimentamos um algoritmo de avaliação de consulta de caminhos livres-de-contexto; e (3) formalizamos o problema da minimização de grafos restrita a uma linguagem formal, para o qual desenvolvemos soluções para os casos em que a linguagem formal é regular ou livre-de-contexto. |
publishDate |
2022 |
dc.date.accessioned.fl_str_mv |
2022-12-08T22:50:05Z |
dc.date.available.fl_str_mv |
2022-12-08T22:50:05Z |
dc.date.issued.fl_str_mv |
2022-08-30 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
MEDEIROS, Ciro Morais. Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability. Orientador: Martin Alejandro Musicante. 2022. 99f. Tese (Doutorado em Ciência da Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2022. |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufrn.br/handle/123456789/50056 |
identifier_str_mv |
MEDEIROS, Ciro Morais. Improvements on graph path queries: expression, evaluation, and minimum-weight satisfiability. Orientador: Martin Alejandro Musicante. 2022. 99f. Tese (Doutorado em Ciência da Computação) - Centro de Ciências Exatas e da Terra, Universidade Federal do Rio Grande do Norte, Natal, 2022. |
url |
https://repositorio.ufrn.br/handle/123456789/50056 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal do Rio Grande do Norte |
dc.publisher.program.fl_str_mv |
PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO |
dc.publisher.initials.fl_str_mv |
UFRN |
dc.publisher.country.fl_str_mv |
Brasil |
publisher.none.fl_str_mv |
Universidade Federal do Rio Grande do Norte |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFRN instname:Universidade Federal do Rio Grande do Norte (UFRN) instacron:UFRN |
instname_str |
Universidade Federal do Rio Grande do Norte (UFRN) |
instacron_str |
UFRN |
institution |
UFRN |
reponame_str |
Repositório Institucional da UFRN |
collection |
Repositório Institucional da UFRN |
bitstream.url.fl_str_mv |
https://repositorio.ufrn.br/bitstream/123456789/50056/1/Improvementsgraphpath_Medeiros_2022.pdf |
bitstream.checksum.fl_str_mv |
ba318ca4fda8bc0c45565a36bed7c202 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFRN - Universidade Federal do Rio Grande do Norte (UFRN) |
repository.mail.fl_str_mv |
|
_version_ |
1802118049466155008 |