Linguagens De Consulta Computaaao
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Refinamento de Consultas em LÃgicas de DescriÃÃo Utilizando Teoria dos Rough Sets / Query Refinement in Description Logics Using the Rough Set Theory
Refinamento de consulta consiste de tÃcnicas que modificam os termos de uma consulta com o objetivo de alterar os resultados obtidos inicialmente. Para a realizaÃÃo de tal fim, diversas abordagens podem ser aplicadas e diferentes tipos de refinamentos podem ser considerados. Este trabalho propÃe aplicar a teoria dos Rough Sets como uma nova alternativa d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/08/2012
-
2. A infinitary system of the logic of least fixed-point / Um sistema infinitÃrio para a lÃgica de menor ponto fixo
A noÃÃo de menor ponto-fixo de um operador à amplamente aplicada na ciÃncia da computaÃÃo como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensÃes da LÃgica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lÃgica de menor ponto-fixo (LFP)2, foram propostas para l
Publicado em: 2007