Perguntas com a marcação «relational-structures»

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 introdutório explicando como essas duas estruturas …

17 reference-request  ct.category-theory  db.databases  relational-structures 

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 para classes de gráfico excluindo …

15 cc.complexity-theory  graph-theory  relational-structures 

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 interessado em código …

12 db.databases  relational-structures 

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 …

11 co.combinatorics  lo.logic  relational-structures