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.pdf | 973.14 kB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.