Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/1135
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSilveira, Pedro Manoel da-
dc.date.accessioned2016-12-06T16:58:04Z-
dc.date.available2023-12-21T03:03:02Z-
dc.date.issued1990-04-30-
dc.identifier.citationSILVEIRA, 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)pt_BR
dc.identifier.urihttp://hdl.handle.net/11422/1135-
dc.description.abstractA 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.pt_BR
dc.languageporpt_BR
dc.relation.ispartofRelatório Técnico NCEpt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectBanco de dadospt_BR
dc.subjectDatabasept_BR
dc.titleL+: uma linguagem para definição de banco de dadospt_BR
dc.typeRelatóriopt_BR
dc.description.resumoUm 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.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionaispt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpt_BR
dc.citation.issue0990pt_BR
dc.embargo.termsabertopt_BR
Appears in Collections:Relatórios

Files in This Item:
File Description SizeFormat 
09_90_000040376.pdf669.91 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.