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: 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.
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 L+: uma linguagem para definição de banco de dadosBanco de dadosDatabaseCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOA 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.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.BrasilInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionais2016-12-06T16:58:04Z2023-12-21T03:03:02Z1990-04-30info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportSILVEIRA, 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/1135porRelató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:03:02Zoai:pantheon.ufrj.br:11422/1135Repositório InstitucionalPUBhttp://www.pantheon.ufrj.br/oai/requestpantheon@sibi.ufrj.bropendoar:2023-12-21T03:03:02Repositório Institucional da UFRJ - Universidade Federal do Rio de Janeiro (UFRJ)false
dc.title.none.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
Banco de dados
Database
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
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.por.fl_str_mv Banco de dados
Database
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
topic Banco de dados
Database
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
description 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.
publishDate 1990
dc.date.none.fl_str_mv 1990-04-30
2016-12-06T16:58:04Z
2023-12-21T03:03:02Z
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. 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/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.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_ 1815455959915429888

Registros relacionados