Pantheon Institutional repository
Collect, preserve and disseminate digital academic production in all areas of knowledge.
Comprise the assets of the repository, in addition to theses and dissertations at UFRJ, scientific articles, electronic books, book chapters and papers presented at events for teachers, researchers, administrative staff and students of master's and doctoral degrees.
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 |
| Production unit: | 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) |
| Appears in Collections: | Relatórios |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 04_87_000040330.pdf | 973.14 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.