Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/11422/2716
Especie: Relatório
Título : On the connections between relational tableaux and clause form
Autor(es)/Inventor(es): Silveira, Pedro Manoel da
Resumen: A teoria dos tableaux para bancos de dados relacionais aplica-se ao teste de equivalência entre expressões de Álgebra Relacional. Neste artigo, nós analisamos as conexões entre tableaux e a representação por cláusulas. Nós mostramos que resultados da teoria dos tableaux podem também ser obtidos com cláusulas.
Resumen: The theory of tableaux for relational databases is applied to the test of containment among relational expressions. In this paper we analyse the connections between tableaux and clause form representation. We show that results from the theory of tableaux are also aobainable with clause form.
Materia: Banco de dados relacionais
Materia CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOS
Unidade de producción: Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais
Es parte de: Relatório Técnico NCE
Número: 0487
Fecha de publicación: 30-abr-1987
País de edición : Brasil
Idioma de publicación: eng
Tipo de acceso : Acesso Aberto
Citación : SILVEIRA, P. M. On the connections between relational tableaux and clause form. Rio de Janeiro: NCE, UFRJ, 1987. 11 p. (Relatório Técnico, 04/87)
Aparece en las colecciones: Relatórios

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
04_87_000040330.pdf973.14 kBAdobe PDFVisualizar/Abrir


Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.