L+: uma linguagem para definição de banco de dados

Detalhes bibliográficos
Autor(a) principal: Silveira, Pedro Manoel da
Data de Publicação: 1990
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Institucional da UFRJ
Texto Completo: http://hdl.handle.net/11422/1135
Resumo: Um modelo de dados baseado no Cálculo de Predicados é apresentado. Conjuntos e tipos são definidos extensionalmente ou pela especificação de expressões. Correspondências podem ser formadas das instâncias dos conjuntos ou sobre as instâncias de outras correspondências, introduzindo a possibilidade de composição. Vistas, seja como conjuntos ou correspondências são também possíveis. Restrições de integridade são individualmente identificadas e especificadas através de fórmulas. Operadores de agregação são declarados com domínio e contra-domínio. Exemplos e a sintaxe de uma linguagem de especificação. de esquemas para bancos de dados são também apresentados.
id UFRJ_764e66e05eb0a187a273012da1f03d2b
oai_identifier_str oai:pantheon.ufrj.br:11422/1135
network_acronym_str UFRJ
network_name_str Repositório Institucional da UFRJ
repository_id_str
spelling Silveira, Pedro Manoel da2016-12-06T16:58:04Z2023-11-30T03:02:04Z1990-04-30SILVEIRA, P. M. da. L+: uma linguagem para definição de banco de dados. RIo de Janeiro: NCE, UFRJ, 1990. 15 p. (Relatório Técnico, 09/90)http://hdl.handle.net/11422/1135Um modelo de dados baseado no Cálculo de Predicados é apresentado. Conjuntos e tipos são definidos extensionalmente ou pela especificação de expressões. Correspondências podem ser formadas das instâncias dos conjuntos ou sobre as instâncias de outras correspondências, introduzindo a possibilidade de composição. Vistas, seja como conjuntos ou correspondências são também possíveis. Restrições de integridade são individualmente identificadas e especificadas através de fórmulas. Operadores de agregação são declarados com domínio e contra-domínio. Exemplos e a sintaxe de uma linguagem de especificação. de esquemas para bancos de dados são também apresentados.A data modeling discipline based on Predicate Calculus is presented. Sets and types are defined using declared instances or through the specification of expressions. Correspondences can be formed over the instances of those set or over the instances of other correspondences, introducing the possibility of composition. Derived data, either as sets or correspondences are obtainable. Schema constraints are namea' and specified through formulas. Aggregate operators are declared with domain and range sets. Examples and the syntax of the language are provided.Submitted by Raquel Porto (raquel@nce.ufrj.br) on 2016-12-06T16:58:04Z No. of bitstreams: 1 09_90_000040376.pdf: 1446100 bytes, checksum: e57d4bcea0fe46bbbe5c83d3aabaebe9 (MD5)Made available in DSpace on 2016-12-06T16:58:04Z (GMT). No. of bitstreams: 1 09_90_000040376.pdf: 1446100 bytes, checksum: e57d4bcea0fe46bbbe5c83d3aabaebe9 (MD5) Previous issue date: 1990-04-30porRelatório Técnico NCECNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOBanco de dadosDatabaseL+: uma linguagem para definição de banco de dadosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/report0990abertoBrasilInstituto 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:UFRJORIGINAL09_90_000040376.pdf09_90_000040376.pdfapplication/pdf685991http://pantheon.ufrj.br:80/bitstream/11422/1135/3/09_90_000040376.pdf6d85ab3c10ee70573d41f954a4808a1eMD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81853http://pantheon.ufrj.br:80/bitstream/11422/1135/2/license.txtdd32849f2bfb22da963c3aac6e26e255MD52TEXT09_90_000040376.pdf.txt09_90_000040376.pdf.txtExtracted texttext/plain25787http://pantheon.ufrj.br:80/bitstream/11422/1135/4/09_90_000040376.pdf.txte7257b1d42ab68210ee46bbe207c6fb7MD5411422/11352023-11-30 00:02:04.386oai:pantheon.ufrj.br:11422/1135TElDRU7Dh0EgTsODTy1FWENMVVNJVkEgREUgRElTVFJJQlVJw4fDg08KCkFvIGFzc2luYXIgZSBlbnRyZWdhciBlc3RhIGxpY2Vuw6dhLCB2b2PDqihzKSBvKHMpIGF1dG9yKGVzKSBvdSBwcm9wcmlldMOhcmlvKHMpIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBjb25jZWRlKG0pIGFvIFJlcG9zaXTDs3JpbyBQYW50aGVvbiBkYSBVbml2ZXJzaWRhZGUgRmVkZXJhbCBkbyBSaW8gZGUgSmFuZWlybyAoVUZSSikgbyBkaXJlaXRvIG7Do28gLSBleGNsdXNpdm8gZGUgcmVwcm9kdXppciwgY29udmVydGVyIChjb21vIGRlZmluaWRvIGFiYWl4byksIGUvb3UgZGlzdHJpYnVpciBvIGRvY3VtZW50byBlbnRyZWd1ZSAoaW5jbHVpbmRvIG8gcmVzdW1vKSBlbSB0b2RvIG8gbXVuZG8sIGVtIGZvcm1hdG8gZWxldHLDtG5pY28gZSBlbSBxdWFscXVlciBtZWlvLCBpbmNsdWluZG8sIG1hcyBuw6NvIGxpbWl0YWRvIGEgw6F1ZGlvIGUvb3UgdsOtZGVvLgoKVm9jw6ogY29uY29yZGEgcXVlIGEgVUZSSiBwb2RlLCBzZW0gYWx0ZXJhciBvIGNvbnRlw7pkbywgdHJhZHV6aXIgYSBhcHJlc2VudGHDp8OjbyBkZSBxdWFscXVlciBtZWlvIG91IGZvcm1hdG8gY29tIGEgZmluYWxpZGFkZSBkZSBwcmVzZXJ2YcOnw6NvLgoKVm9jw6ogdGFtYsOpbSBjb25jb3JkYSBxdWUgYSBVRlJKIHBvZGUgbWFudGVyIG1haXMgZGUgdW1hIGPDs3BpYSBkZXNzYSBzdWJtaXNzw6NvIHBhcmEgZmlucyBkZSBzZWd1cmFuw6dhLCBiYWNrLXVwIGUgcHJlc2VydmHDp8OjbyBkaWdpdGFsLgoKRGVjbGFyYSBxdWUgbyBkb2N1bWVudG8gZW50cmVndWUgw6kgc2V1IHRyYWJhbGhvIG9yaWdpbmFsLCBlIHF1ZSB2b2PDqiB0ZW0gbyBkaXJlaXRvIGRlIGNvbmNlZGVyIG9zIGRpcmVpdG9zIGNvbnRpZG9zIG5lc3RhIGxpY2Vuw6dhLiBWb2PDqiB0YW1iw6ltIGRlY2xhcmEgcXVlIGEgc3VhIGFwcmVzZW50YcOnw6NvLCBjb20gbyBtZWxob3IgZGUgc2V1cyBjb25oZWNpbWVudG9zLCBuw6NvIGluZnJpbmdpIGRpcmVpdG9zIGF1dG9yYWlzIGRlIHRlcmNlaXJvcy4KClNlIG8gZG9jdW1lbnRvIGVudHJlZ3VlIGNvbnTDqW0gbWF0ZXJpYWwgZG8gcXVhbCB2b2PDqiBuw6NvIHRlbSBkaXJlaXRvcyBkZSBhdXRvciwgZGVjbGFyYSBxdWUgb2J0ZXZlIGEgcGVybWlzc8OjbyBpcnJlc3RyaXRhIGRvIGRldGVudG9yIGRvcyBkaXJlaXRvcyBhdXRvcmFpcyBlIGNvbmNlZGUgYSBVRlJKIG9zIGRpcmVpdG9zIHJlcXVlcmlkb3MgcG9yIGVzdGEgbGljZW7Dp2EsIGUgcXVlIGVzc2UgbWF0ZXJpYWwgZGUgcHJvcHJpZWRhZGUgZGUgdGVyY2Vpcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIGUgcmVjb25oZWNpZG8gbm8gdGV4dG8gb3UgY29udGXDumRvIGRhIHN1Ym1pc3PDo28uCgpTZSBvIGRvY3VtZW50byBlbnRyZWd1ZSDDqSBiYXNlYWRvIGVtIHRyYWJhbGhvIHF1ZSBmb2ksIG91IHRlbSBzaWRvIHBhdHJvY2luYWRvIG91IGFwb2lhZG8gcG9yIHVtYSBhZ8OqbmNpYSBvdSBvdXRybyhzKSBvcmdhbmlzbW8ocykgcXVlIG7Do28gYSBVRlJKLCB2b2PDqiBkZWNsYXJhIHF1ZSBjdW1wcml1IHF1YWxxdWVyIGRpcmVpdG8gZGUgUkVWSVPDg08gb3UgZGUgb3V0cmFzIG9icmlnYcOnw7VlcyByZXF1ZXJpZGFzIHBvciBjb250cmF0byBvdSBhY29yZG8uCgpBIFVGUkogaXLDoSBpZGVudGlmaWNhciBjbGFyYW1lbnRlIG8ocykgc2V1KHMpIG5vbWUocykgY29tbyBhdXRvcihlcykgb3UgcHJvcHJpZXTDoXJpbyhzKSBkYSBzdWJtaXNzw6NvLCBlIG7Do28gZmFyw6EgcXVhbHF1ZXIgYWx0ZXJhw6fDo28sIHBhcmEgYWzDqW0gZGFzIHBlcm1pdGlkYXMgcG9yIGVzdGEgbGljZW7Dp2EsIG5vIGF0byBkZSBzdWJtaXNzw6NvLgo=Repositório de PublicaçõesPUBhttp://www.pantheon.ufrj.br/oai/requestopendoar:2023-11-30T03:02:04Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false
dc.title.pt_BR.fl_str_mv L+: uma linguagem para definição de banco de dados
title L+: uma linguagem para definição de banco de dados
spellingShingle L+: uma linguagem para definição de banco de dados
Silveira, Pedro Manoel da
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Banco de dados
Database
title_short L+: uma linguagem para definição de banco de dados
title_full L+: uma linguagem para definição de banco de dados
title_fullStr L+: uma linguagem para definição de banco de dados
title_full_unstemmed L+: uma linguagem para definição de banco de dados
title_sort L+: uma linguagem para definição de banco de dados
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
topic CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Banco de dados
Database
dc.subject.por.fl_str_mv Banco de dados
Database
description Um modelo de dados baseado no Cálculo de Predicados é apresentado. Conjuntos e tipos são definidos extensionalmente ou pela especificação de expressões. Correspondências podem ser formadas das instâncias dos conjuntos ou sobre as instâncias de outras correspondências, introduzindo a possibilidade de composição. Vistas, seja como conjuntos ou correspondências são também possíveis. Restrições de integridade são individualmente identificadas e especificadas através de fórmulas. Operadores de agregação são declarados com domínio e contra-domínio. Exemplos e a sintaxe de uma linguagem de especificação. de esquemas para bancos de dados são também apresentados.
publishDate 1990
dc.date.issued.fl_str_mv 1990-04-30
dc.date.accessioned.fl_str_mv 2016-12-06T16:58:04Z
dc.date.available.fl_str_mv 2023-11-30T03:02:04Z
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. da. L+: uma linguagem para definição de banco de dados. RIo de Janeiro: NCE, UFRJ, 1990. 15 p. (Relatório Técnico, 09/90)
dc.identifier.uri.fl_str_mv http://hdl.handle.net/11422/1135
identifier_str_mv SILVEIRA, P. M. da. L+: uma linguagem para definição de banco de dados. RIo de Janeiro: NCE, UFRJ, 1990. 15 p. (Relatório Técnico, 09/90)
url http://hdl.handle.net/11422/1135
dc.language.iso.fl_str_mv por
language por
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/1135/3/09_90_000040376.pdf
http://pantheon.ufrj.br:80/bitstream/11422/1135/2/license.txt
http://pantheon.ufrj.br:80/bitstream/11422/1135/4/09_90_000040376.pdf.txt
bitstream.checksum.fl_str_mv 6d85ab3c10ee70573d41f954a4808a1e
dd32849f2bfb22da963c3aac6e26e255
e7257b1d42ab68210ee46bbe207c6fb7
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_ 1784097078730817536

Registros relacionados