On the connections between relational tableaux and clause form

Detalhes bibliográficos
Autor(a) principal: Silveira, Pedro Manoel da
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