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: | 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. |
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 |
Silveira, Pedro Manoel da2017-08-18T14:08:53Z2023-11-30T03:01:57Z1987-04-30SILVEIRA, 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/2716A 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.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.Submitted by Elaine Almeida (elaine.almeida@nce.ufrj.br) on 2017-08-18T14:08:53Z No. of bitstreams: 1 04_87_000040330.pdf: 996491 bytes, checksum: 770c539de95321339b537e2ba91364d2 (MD5)Made available in DSpace on 2017-08-18T14:08:53Z (GMT). No. of bitstreams: 1 04_87_000040330.pdf: 996491 bytes, checksum: 770c539de95321339b537e2ba91364d2 (MD5) Previous issue date: 1987-04-30engRelatório Técnico NCECNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOSBanco de dados relacionaisOn the connections between relational tableaux and clause forminfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/report0487abertoBrasilInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionaisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRJinstname:Universidade Federal do Rio de Janeiro (UFRJ)instacron:UFRJORIGINAL04_87_000040330.pdf04_87_000040330.pdfapplication/pdf996491http://pantheon.ufrj.br:80/bitstream/11422/2716/1/04_87_000040330.pdf770c539de95321339b537e2ba91364d2MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81853http://pantheon.ufrj.br:80/bitstream/11422/2716/2/license.txtdd32849f2bfb22da963c3aac6e26e255MD52TEXT04_87_000040330.pdf.txt04_87_000040330.pdf.txtExtracted texttext/plain37640http://pantheon.ufrj.br:80/bitstream/11422/2716/3/04_87_000040330.pdf.txtc85b74cffe4316c7d3a52bf0684a5f67MD5311422/27162023-11-30 00:01:57.061oai:pantheon.ufrj.br:11422/2716TElDRU7Dh0EgTsODTy1FWENMVVNJVkEgREUgRElTVFJJQlVJw4fDg08KCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCB2b2PDqihzKSBvKHMpIGF1dG9yKGVzKSBvdSBwcm9wcmlldMOhcmlvKHMpIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBjb25jZWRlKG0pIGFvIFJlcG9zaXTDs3JpbyBQYW50aGVvbiBkYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkbyBSaW8gZGUgSmFuZWlybyAoVUZSSikgbyBkaXJlaXRvIG7Do28gLSBleGNsdXNpdm8gZGUgcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGFiYWl4byksIGUvb3UgZGlzdHJpYnVpciBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vKSBlbSB0b2RvIG8gbXVuZG8sIGVtIGZvcm1hdG8gZWxldHLDtG5pY28gZSBlbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8sIG1hcyBuw6NvIGxpbWl0YWRvIGEgw6F1ZGlvIGUvb3UgdsOtZGVvLgoKVm9jw6ogY29uY29yZGEgcXVlIGEgVUZSSiBwb2RlLCBzZW0gYWx0ZXJhciBvIGNvbnRlw7pkbywgdHJhZHV6aXIgYSBhcHJlc2VudGHDp8OjbyBkZSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gY29tIGEgZmluYWxpZGFkZSBkZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogdGFtYsOpbSBjb25jb3JkYSBxdWUgYSBVRlJKIHBvZGUgbWFudGVyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXNzYSBzdWJtaXNzw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8OjbyBkaWdpdGFsLgoKRGVjbGFyYSBxdWUgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgc2V1IHRyYWJhbGhvIG9yaWdpbmFsLCBlIHF1ZSB2b2PDqiB0ZW0gbyBkaXJlaXRvIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBWb2PDqiB0YW1iw6ltIGRlY2xhcmEgcXVlIGEgc3VhIGFwcmVzZW50YcOnw6NvLCBjb20gbyBtZWxob3IgZGUgc2V1cyBjb25oZWNpbWVudG9zLCBuw6NvIGluZnJpbmdpIGRpcmVpdG9zIGF1dG9yYWlzIGRlIHRlcmNlaXJvcy4KClNlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIGNvbnTDqW0gbWF0ZXJpYWwgZG8gcXVhbCB2b2PDqiBuw6NvIHRlbSBkaXJlaXRvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBlIGNvbmNlZGUgYSBVRlJKIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvIGRhIHN1Ym1pc3PDo28uCgpTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBiYXNlYWRvIGVtIHRyYWJhbGhvIHF1ZSBmb2ksIG91IHRlbSBzaWRvIHBhdHJvY2luYWRvIG91IGFwb2lhZG8gcG9yIHVtYSBhZ8OqbmNpYSBvdSBvdXRybyhzKSBvcmdhbmlzbW8ocykgcXVlIG7Do28gYSBVRlJKLCB2b2PDqiBkZWNsYXJhIHF1ZSBjdW1wcml1IHF1YWxxdWVyIGRpcmVpdG8gZGUgUkVWSVPDg08gb3UgZGUgb3V0cmFzIG9icmlnYcOnw7VlcyByZXF1ZXJpZGFzIHBvciBjb250cmF0byBvdSBhY29yZG8uCgpBIFVGUkogaXLDoSBpZGVudGlmaWNhciBjbGFyYW1lbnRlIG8ocykgc2V1KHMpIG5vbWUocykgY29tbyBhdXRvcihlcykgb3UgcHJvcHJpZXTDoXJpbyhzKSBkYSBzdWJtaXNzw6NvLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIHBhcmEgYWzDqW0gZGFzIHBlcm1pdGlkYXMgcG9yIGVzdGEgbGljZW7Dp2EsIG5vIGF0byBkZSBzdWJtaXNzw6NvLgo=Repositório de PublicaçõesPUBhttp://www.pantheon.ufrj.br/oai/requestopendoar:2023-11-30T03:01:57Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false |
dc.title.en.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 CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOS Banco de dados relacionais |
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.cnpq.fl_str_mv |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOS |
topic |
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::BANCO DE DADOS Banco de dados relacionais |
dc.subject.por.fl_str_mv |
Banco de dados relacionais |
description |
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. |
publishDate |
1987 |
dc.date.issued.fl_str_mv |
1987-04-30 |
dc.date.accessioned.fl_str_mv |
2017-08-18T14:08:53Z |
dc.date.available.fl_str_mv |
2023-11-30T03:01:57Z |
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.citation.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) |
dc.identifier.uri.fl_str_mv |
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.ispartof.pt_BR.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.country.fl_str_mv |
Brasil |
dc.publisher.department.fl_str_mv |
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 |
bitstream.url.fl_str_mv |
http://pantheon.ufrj.br:80/bitstream/11422/2716/1/04_87_000040330.pdf http://pantheon.ufrj.br:80/bitstream/11422/2716/2/license.txt http://pantheon.ufrj.br:80/bitstream/11422/2716/3/04_87_000040330.pdf.txt |
bitstream.checksum.fl_str_mv |
770c539de95321339b537e2ba91364d2 dd32849f2bfb22da963c3aac6e26e255 c85b74cffe4316c7d3a52bf0684a5f67 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ) |
repository.mail.fl_str_mv |
|
_version_ |
1784097091501424640 |