Estou ciente de pelo menos duas abordagens teóricas diferentes para entender os bancos de dados relacionais: a álgebra / cálculo relacional de Codd e a teoria das categorias. Existe alguma relação entre essas duas abordagens? Em certo sentido, eles são equivalentes? Existe algum trabalho...
Uma classe hereditária de estruturas (por exemplo, gráficos) é aquela que é fechada sob subestruturas induzidas, ou equivalente, é fechada sob remoção de vértices. Classes de gráficos que excluem um menor têm boas propriedades que não dependem do menor excluído específico. Martin Grohe mostrou que...
Eu estou querendo saber o que são os recentes avanços na teoria de banco de dados relacional e domínios relacionados? Estou interessado em novas abordagens, linguagens de consulta (alternativas ao SQL e / ou extensões a ele), produtos (proprietário e código aberto, embora eu esteja muito mais...
Seja qualquer estrutura finita. Faz a sua primeira teoria ordem T : = T H ( A ) têm classificação quantificador limitada, no sentido de que há um q ∈ N de tal modo que para todos φ ∈ T com q r ( φ ) > q existe uma φ ' ∈ T com q r ( φ ′ ) ≤ q e φ ′ ≡ φ ?AA\mathfrak{A} T:=TH(A)T:=TH(A)...