L+: uma linguagem para definição de banco de dados
| dc.citation.issue | 0990 | pt_BR |
| dc.creator | Silveira, Pedro Manoel da | |
| dc.date.accessioned | 2016-12-06T16:58:04Z | |
| dc.date.available | 2026-05-16T03:03:42Z | |
| dc.date.issued | 1990-04-30 | |
| dc.description.abstract | 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. | pt_BR |
| dc.description.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. | pt_BR |
| dc.embargo.terms | aberto | pt_BR |
| dc.identifier.citation | 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) | pt_BR |
| dc.identifier.uri | http://hdl.handle.net/11422/1135 | |
| dc.language | por | pt_BR |
| dc.publisher.country | Brasil | pt_BR |
| dc.publisher.department | Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais | pt_BR |
| dc.relation.ispartof | Relatório Técnico NCE | pt_BR |
| dc.rights | Acesso Aberto | pt_BR |
| dc.subject | Banco de dados | pt_BR |
| dc.subject | Database | pt_BR |
| dc.subject.cnpq | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO | pt_BR |
| dc.title | L+: uma linguagem para definição de banco de dados | pt_BR |
| dc.type | Relatório | pt_BR |