Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Faça o download
Acesso mais rápido do que o navegador!
 

Álgebra relacional

Índice Álgebra relacional

Em ciências da computação, álgebra relacional é uma derivação descendente da lógica de primeira ordem e da álgebra de conjuntos em relação das operações sobre a relação finítimo, que auxilia o trabalho ao identificar os componentes de uma tupla por nome (chamado o atributo) ao invés de uma coluna de chaves numéricas, o qual é chamado a relação na terminologia de banco de dados.

48 relações: Álgebra de grupo, Énuplo, Banco de dados, Banco de dados relacional, Cálculo lógico, Chave estrangeira, Ciência da computação, Cláusula de Horn, Communications of the ACM, Complementar, Complemento (complexidade), Comutatividade, Conjunção lógica, Conjunto, Conjunto (tipo de dado abstrato), Diferença (álgebra relacional), Disjunção lógica, Distributividade, Edgar Frank Codd, Fórmula atômica, Idempotência, Interseção, Jeffrey Ullman, Lógica de primeira ordem, Linguagem de consulta, Modelo relacional, Multiconjunto, Negação, Null (SQL), Operação (matemática), Operação binária, Operação unária, Predicado (lógica matemática), Produto cartesiano, Produto cartesiano (álgebra relacional), Produto fibrado, Projeção (álgebra relacional), Projeção (matemática), Relação (matemática), Relação binária, Renomear (álgebra relacional), Se e somente se, Seleção (álgebra relacional), SQL, Teoria das categorias, Teoria dos conjuntos, União (matemática), Unicode.

Álgebra de grupo

Em matemática, a álgebra de grupo é qualquer uma das várias construções que associam a um grupo localmente compacto uma álgebra de operadores (ou mais geralmente uma álgebra de Banach), de modo que as representações da álgebra estejam relacionadas às representações do grupo.

Novo!!: Álgebra relacional e Álgebra de grupo · Veja mais »

Énuplo

Énuplo (também conhecido como ênuplo, énupla, ênupla, n-tuplo, n-upla ou simplesmente tupla) é uma sequência ordenada de n elementos, que pode ser definida pela recursão do par ordenado.

Novo!!: Álgebra relacional e Énuplo · Veja mais »

Banco de dados

são conjuntos de arquivos relacionados entre si, podendo conter registros sobre pessoas, lugares ou informações em geral.

Novo!!: Álgebra relacional e Banco de dados · Veja mais »

Banco de dados relacional

Um banco de dados relacional é um banco de dados que modela os dados de uma forma que eles sejam percebidos pelo usuário como tabelas, ou mais formalmente relações.

Novo!!: Álgebra relacional e Banco de dados relacional · Veja mais »

Cálculo lógico

O cálculo lógico, ou derivação lógica, é um algoritmo ou sistema lógico que permite inferir ou deduzir um enunciado verdadeiro a partir de outro ou outros que se têm como validamente verdadeiros.

Novo!!: Álgebra relacional e Cálculo lógico · Veja mais »

Chave estrangeira

No contexto dos banco de dados, o conceito de chave estrangeira ou chave externa se refere ao tipo de relacionamento entre distintas tabelas de dados do banco de dados.

Novo!!: Álgebra relacional e Chave estrangeira · Veja mais »

Ciência da computação

A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.

Novo!!: Álgebra relacional e Ciência da computação · Veja mais »

Cláusula de Horn

Em lógica, uma cláusula de Horn é uma cláusula (disjunção de literais) com no máximo um literal positivo.

Novo!!: Álgebra relacional e Cláusula de Horn · Veja mais »

Communications of the ACM

Communications of the ACM é a revista mensal carro-chefe da Association for Computing Machinery (ACM).

Novo!!: Álgebra relacional e Communications of the ACM · Veja mais »

Complementar

A área em vermelho é o complementar de ''A'' em ''U'', A^c~~~.

Novo!!: Álgebra relacional e Complementar · Veja mais »

Complemento (complexidade)

Na teoria da complexidade computacional, o complemento de um problema de decisão é o problema de decisão resultante do reverso das respostas sim e não.Igualmente, se definimos problemas de decisão como um conjunto de cadeias finitas, então o complemento deste conjunto sobre um domínio fixo é seu problema-complemento.

Novo!!: Álgebra relacional e Complemento (complexidade) · Veja mais »

Comutatividade

Comutatividade é uma propriedade de operações binárias, ou de ordem mais alta, em que a ordem dos operandos não altera o resultado final.

Novo!!: Álgebra relacional e Comutatividade · Veja mais »

Conjunção lógica

A conjunção é uma operação na lógica matemática, que pode ser ligada à operação de interseção de conjuntos.

Novo!!: Álgebra relacional e Conjunção lógica · Veja mais »

Conjunto

Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.

Novo!!: Álgebra relacional e Conjunto · Veja mais »

Conjunto (tipo de dado abstrato)

Em ciência da computação, um conjunto é uma estrutura de dados abstrata que pode armazenar certos valores, sem qualquer ordem particular, e sem valores repetidos.

Novo!!: Álgebra relacional e Conjunto (tipo de dado abstrato) · Veja mais »

Diferença (álgebra relacional)

É um operador da álgebra relacional e da teoria dos conjuntos matemáticos não comutativo cujo operandos (dois no total) devem ser união-compatíveis, ou seja, devem ter suas estruturas exatamente idênticas.

Novo!!: Álgebra relacional e Diferença (álgebra relacional) · Veja mais »

Disjunção lógica

Disjunção, operador ou (OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas.

Novo!!: Álgebra relacional e Disjunção lógica · Veja mais »

Distributividade

Distributividade é uma propriedade de duas operações binárias, em que a ordem em que as operações são efetuadas pode, de certa forma, ser trocada.

Novo!!: Álgebra relacional e Distributividade · Veja mais »

Edgar Frank Codd

Edgar Frank Codd (Dorset, — Flórida) foi um matemático britânico.

Novo!!: Álgebra relacional e Edgar Frank Codd · Veja mais »

Fórmula atômica

Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas.

Novo!!: Álgebra relacional e Fórmula atômica · Veja mais »

Idempotência

Em matemática e ciência da computação, a idempotência é a propriedade que algumas operações têm de poderem ser aplicadas várias vezes sem que o valor do resultado se altere após a aplicação inicial.

Novo!!: Álgebra relacional e Idempotência · Veja mais »

Interseção

Representação gráfica da interseção entre dois conjuntos Em teoria dos conjuntos, a, é um conjunto de elementos que, simultaneamente, pertencem a dois ou mais conjuntos, representado por ∩. Por exemplo, se o conjunto A possui os elementos e o conjunto B possui os elementos, então interseção do conjunto A com o conjunto B será igual a.

Novo!!: Álgebra relacional e Interseção · Veja mais »

Jeffrey Ullman

Jeffrey David Ullman é um cientista da computação estadunidense.

Novo!!: Álgebra relacional e Jeffrey Ullman · Veja mais »

Lógica de primeira ordem

A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.

Novo!!: Álgebra relacional e Lógica de primeira ordem · Veja mais »

Linguagem de consulta

Linguagem de consulta é uma linguagem de computador usada para realizar consultas em bancos de dados e sistemas de informação.

Novo!!: Álgebra relacional e Linguagem de consulta · Veja mais »

Modelo relacional

O modelo relacional é um modelo de dados representativo (ou de implementação), adequado a ser o modelo subjacente de um Sistema Gerenciador de Banco de Dados (SGBD), que se baseia no princípio de que todos os dados estão armazenados em tabelas (ou, matematicamente falando, relações).

Novo!!: Álgebra relacional e Modelo relacional · Veja mais »

Multiconjunto

Matematicamente, um multiconjunto é a generalização de um conjunto, de tal forma que permite a repetição de elementos.

Novo!!: Álgebra relacional e Multiconjunto · Veja mais »

Negação

Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição.

Novo!!: Álgebra relacional e Negação · Veja mais »

Null (SQL)

Null, (Nulo) é uma palavra que atribui um valor nulo para um campo, célula ou código em um banco de dados ou de uma aplicação.

Novo!!: Álgebra relacional e Null (SQL) · Veja mais »

Operação (matemática)

Em matemática, uma operação é qualquer tipo de procedimento que é realizado sobre certa quantidade de elementos, e que obedece sempre a uma mesma lógica (regra).

Novo!!: Álgebra relacional e Operação (matemática) · Veja mais »

Operação binária

Na matemática, uma operação binária ou 2-ária é uma operação com dois operandos.

Novo!!: Álgebra relacional e Operação binária · Veja mais »

Operação unária

Na matemática uma operação unária ou 1-ária, é uma operação com apenas um operando.

Novo!!: Álgebra relacional e Operação unária · Veja mais »

Predicado (lógica matemática)

Em matemática, um predicado é normalmente entendido como uma função booleana P: X→, chamada de predicado em X. Entretanto, predicados possuem vários usos e interpretações diferentes em matemática e lógica, e sua definição precisa, significado e uso variam de teoria para teoria.

Novo!!: Álgebra relacional e Predicado (lógica matemática) · Veja mais »

Produto cartesiano

Em matemática, dados dois conjuntos X e Y, o produto cartesiano (ou produto direto) desses dois (escrito como X × Y) é o conjunto de todos os pares ordenados, cujo primeiro termo pertence a X; e o segundo, a Y. O produto cartesiano recebe seu nome de René Descartes, cuja formulação da geometria analítica deu origem a este conceito.

Novo!!: Álgebra relacional e Produto cartesiano · Veja mais »

Produto cartesiano (álgebra relacional)

O operador Produto Cartesiano é um operador relacional binário, representado por X. Resulta em uma combinação de todas as tuplas entre as duas relações de entrada, e é utilizado quando se necessita obter dados presentes em duas ou mais relações.

Novo!!: Álgebra relacional e Produto cartesiano (álgebra relacional) · Veja mais »

Produto fibrado

Diagrama de produto fibrado O produto fibrado (ou pullback) é uma construção de teoria das categorias.

Novo!!: Álgebra relacional e Produto fibrado · Veja mais »

Projeção (álgebra relacional)

Geralmente indicada na literatura por (a letra grega pi) produz um conjunto onde há um elemento para cada elemento do conjunto de entrada, sendo que a estrutura dos membros do conjunto resultante é definida nos argumentos da operação.

Novo!!: Álgebra relacional e Projeção (álgebra relacional) · Veja mais »

Projeção (matemática)

Em matemática, uma projecção num conjunto X é uma aplicação p:X\rightarrow X idempotente.

Novo!!: Álgebra relacional e Projeção (matemática) · Veja mais »

Relação (matemática)

Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios.

Novo!!: Álgebra relacional e Relação (matemática) · Veja mais »

Relação binária

Relação binária Relação bináriaNa matemática e na lógica, uma relação binária ou 2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados.

Novo!!: Álgebra relacional e Relação binária · Veja mais »

Renomear (álgebra relacional)

Na álgebra relacional, o operador de renomeação é utilizado para alterar o nome das colunas de uma tabela.

Novo!!: Álgebra relacional e Renomear (álgebra relacional) · Veja mais »

Se e somente se

Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.

Novo!!: Álgebra relacional e Se e somente se · Veja mais »

Seleção (álgebra relacional)

O operador de Seleção, indicado por σ (a letra grega sigma minúscula), é um dos operadores fundamentais da Álgebra relacional.

Novo!!: Álgebra relacional e Seleção (álgebra relacional) · Veja mais »

SQL

Structured Query Language (SQL), lit.

Novo!!: Álgebra relacional e SQL · Veja mais »

Teoria das categorias

Na matemática, a teoria das categorias provê uma linguagem interdisciplinar capaz de delinear resultados e construções gerais, separando-os dos específicos a cada área, possibilitando a simplificação e clarificação de demonstrações.

Novo!!: Álgebra relacional e Teoria das categorias · Veja mais »

Teoria dos conjuntos

conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.

Novo!!: Álgebra relacional e Teoria dos conjuntos · Veja mais »

União (matemática)

Indicação da união entre os conjuntos A e B Em teoria dos conjuntos, a união de dois ou mais conjuntos é o conjunto dos elementos que pertencem a pelo menos um destes conjuntos.

Novo!!: Álgebra relacional e União (matemática) · Veja mais »

Unicode

Unicode é um padrão que permite aos computadores representar e manipular, de forma consistente, texto de qualquer sistema de escrita existente.

Novo!!: Álgebra relacional e Unicode · Veja mais »

Redireciona aqui:

Agrupamentos e agregação (Álgebra Relacional), Divisão (Álgebra Relacional), Divisão (álgebra relacional), Junção Natural (Álgebra Relacional), Junção natural, Junção natural (álgebra relacional).

CessanteEntrada
Ei! Agora estamos em Facebook! »