On the connections between relational tableaux and clause form
Autor(a) principal: | |
---|---|
Data de Publicação: | 1987 |
Tipo de documento: | Relatório |
Idioma: | eng |
Título da fonte: | Repositório Institucional da UFRJ |
Texto Completo: | http://hdl.handle.net/11422/2716 |
Resumo: | 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. |
id |
UFRJ_729631b577b7c09f11b5c03ad01916e4 |
---|---|
oai_identifier_str |
oai:pantheon.ufrj.br:11422/2716 |
network_acronym_str |
UFRJ |
network_name_str |
Repositório Institucional da UFRJ |
repository_id_str |
|
spelling |
On the connections between relational tableaux and clause formBanco de dados relacionaisCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOSThe 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.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.BrasilInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionais2017-08-18T14:08:53Z2023-12-21T03:02:47Z1987-04-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportSILVEIRA, 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)http://hdl.handle.net/11422/2716engRelatório Técnico NCESilveira, Pedro Manoel dainfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRJinstname:Universidade Federal do Rio de Janeiro (UFRJ)instacron:UFRJ2023-12-21T03:02:47Zoai:pantheon.ufrj.br:11422/2716Repositório InstitucionalPUBhttp://www.pantheon.ufrj.br/oai/requestpantheon@sibi.ufrj.bropendoar:2023-12-21T03:02:47Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false |
dc.title.none.fl_str_mv |
On the connections between relational tableaux and clause form |
title |
On the connections between relational tableaux and clause form |
spellingShingle |
On the connections between relational tableaux and clause form Silveira, Pedro Manoel da Banco de dados relacionais CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOS |
title_short |
On the connections between relational tableaux and clause form |
title_full |
On the connections between relational tableaux and clause form |
title_fullStr |
On the connections between relational tableaux and clause form |
title_full_unstemmed |
On the connections between relational tableaux and clause form |
title_sort |
On the connections between relational tableaux and clause form |
author |
Silveira, Pedro Manoel da |
author_facet |
Silveira, Pedro Manoel da |
author_role |
author |
dc.contributor.author.fl_str_mv |
Silveira, Pedro Manoel da |
dc.subject.por.fl_str_mv |
Banco de dados relacionais CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOS |
topic |
Banco de dados relacionais CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOS |
description |
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. |
publishDate |
1987 |
dc.date.none.fl_str_mv |
1987-04-30 2017-08-18T14:08:53Z 2023-12-21T03:02:47Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/report |
format |
report |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
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) http://hdl.handle.net/11422/2716 |
identifier_str_mv |
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) |
url |
http://hdl.handle.net/11422/2716 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
Relatório Técnico NCE |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Brasil Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais |
publisher.none.fl_str_mv |
Brasil Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFRJ instname:Universidade Federal do Rio de Janeiro (UFRJ) instacron:UFRJ |
instname_str |
Universidade Federal do Rio de Janeiro (UFRJ) |
instacron_str |
UFRJ |
institution |
UFRJ |
reponame_str |
Repositório Institucional da UFRJ |
collection |
Repositório Institucional da UFRJ |
repository.name.fl_str_mv |
Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ) |
repository.mail.fl_str_mv |
pantheon@sibi.ufrj.br |
_version_ |
1815455965288333312 |