Please enable JavaScript.
Coggle requires JavaScript to display documents.
Modelo Relacional (Modelagem UML (importantes insumos para a atividade de…
Modelo Relacional
Modelagem UML
http://www.inf.ufes.br/~monalessa/PaginaMonalessa-NEMO/ES/NotasDeAula-EngSoftware-EngComp-Parte-II.pdf
atividades da modelagem conceitual são iterativas e com alto grau de paralelismo
uma atividade crucial da modelagem conceitual estrutural segundo o paradigma orientado a objetos (OO) é a identificação de classes
importantes insumos para a atividade de identificação de classes
descrição do minimundo
descrições de casos de uso
elementos sejam considerados como candidatos a
classes
Agentes
entidades do domínio do problema que têm a capacidade de agir
com intenção de atingir uma meta
Fisicos (normalmente pessoas)
Sociais (entidades, instituições, etc)
Objetos:
entidades sem a capacidade de agir, mas que fazem parte do
domínio de informação do problema.
físicos (p.ex., carros, livros, imóveis)
sociais (p.ex., cursos, disciplinas, leis)
descrição (p.ex., modelos de carro),
Eventos
representam a ocorrência de ações no domínio do problema que precisam ser registradas e lembradas pelo sistema.
comum ocorrer registro de quando evento ocorreu
focalizar os principais
eventos de negócio do domínio do problema
relevância para o sistema é o principal critério a ser adotado para decidir se um determinado elemento deve ou não ser incluído no modelo conceitual estrutural do sistema
O agrupamento de classes em subsistemas permite apresentar o modelo global em uma perspectiva mais alta
O agrupamento de classes em subsistemas serve basicamente a este propósito, podendo ser útil também para a organização de grupos de trabalho em projetos extensos
Quando uma coleção de classes colabora entre si para realizar um conjunto coeso de responsabilidades (casos de uso), elas podem ser vistas como um subsistema.
Identificação de Atributos e Associações
Associações consistem em um tipo de informação que liga diferentes conceitos entre si
Tipos
Associação
ordem dos participantes no modelo não implica uma
relação de prioridade ou subordinação entre eles
atributo é um tipo de relacionamento binário em que um participante é considerado uma característica de outro.
Tipos de dados
Primitivos
String
Integer
Float
De Domínio
CPF , ISBN, etc
especial
Enumeração
só devem ser usados quando se sabe à priori quais são os
seus valores e eles são fixos
não devemos incluir na lista de atributos de uma classe, atributos representando associações (ou atributos representando “chaves estrangeiras” como a classe fosse uma tabela de um banco de dados relacional)..
Para nomear atributos, sugerem-se nomes iniciando com substantivo, o qual pode ser combinado com complementos ou adjetivos, omitindo-se preposições
Atributos monovalorados (singular: ex nome)
Atributos Multivalorados (plural. ex: telefones)
Operações com N variáveis
Unaria
A função f : N → N tal que f(n) = 2n é uma função unária
Binaria
Uma operação binária mapeia 2 argumentos Ex: A função π1 : N x N→ N,
onde π1(m,n) = m, chamada 1a projeção é uma função binária.
Semelhantemente obtém-se a 2a projeção π2(m,n) = n.
Ternária
Uma operação ternária mapeia 3 argumentos. Ex: O operador condicional (if – then – else) utilizado em programação
n-ária
Uma função n-ária mapeia n argumentos.
Do ponto de vista da matemática, uma função com n argumentos podem sempre ser consideradas como uma função de um único argumento o qual é um elemento de algum produto cartesiano.
Logica de Predicados
Símbolos lógicos
https://pt.wikipedia.org/wiki/Lista_de_s%C3%ADmbolos_l%C3%B3gicos
Teoria de Tipos
Desenvolvida por Bertrand Russell
visa evitar os paradoxos que uma linguagem formal muito expressiva apresenta
Lógica ou
Cálculo de Predicados (Órdem 1 / Primeira Órdem)
carregam consigo em geral:
elementos distinguidos (o zero, como elemento neutro da soma em Z)
operações (a soma e o produto em Z)
relações (a ordem em um conjunto ordenado)
Uma linguagem de primeira ordem consiste num alfabeto que contém os símbolos lógicos
∧, ∨, ¬, →, ↔, ∃ e ∀,
e também o da igualdade, “=”
Cálculo Proposicional (ordem 0, Nivel Zero)
https://www.ime.usp.br/~mat/0349/Predicados-2.pdf
Codd
Relações