On the connections between relational tableaux and clause form

Silveira, Pedro Manoel da

Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/2716

Full metadata record

DC Field	Value	Language
dc.contributor.author	Silveira, Pedro Manoel da	-
dc.date.accessioned	2017-08-18T14:08:53Z	-
dc.date.available	2023-12-21T03:02:47Z	-
dc.date.issued	1987-04-30	-
dc.identifier.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)	pt_BR
dc.identifier.uri	http://hdl.handle.net/11422/2716	-
dc.description.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.	en
dc.language	eng	pt_BR
dc.relation.ispartof	Relatório Técnico NCE	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Banco de dados relacionais	pt_BR
dc.title	On the connections between relational tableaux and clause form	en
dc.type	Relatório	pt_BR
dc.description.resumo	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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais	pt_BR
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOS	pt_BR
dc.citation.issue	0487	pt_BR
dc.embargo.terms	aberto	pt_BR
Appears in Collections:	Relatórios

Files in This Item:

File	Description	Size	Format
04_87_000040330.pdf		973.14 kB	Adobe PDF	View/Open

Show simple item record Recommend this item View Statistics

Pantheon Institutional repository