Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/2716
Type: Relatório
Title: On the connections between relational tableaux and clause form
Author(s)/Inventor(s): Silveira, Pedro Manoel da
Abstract: 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.
Abstract: 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.
Keywords: Banco de dados relacionais
Subject CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOS
Department : Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais
In: Relatório Técnico NCE
Issue: 0487
Issue Date: 30-Apr-1987
Publisher country: Brasil
Language: eng
Right access: Acesso Aberto
Citation: 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)
URI: http://hdl.handle.net/11422/2716
Appears in Collections:Relatórios Técnicos e de Pesquisa

Files in This Item:
File Description SizeFormat 
04_87_000040330.pdf973,14 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.