Perguntas com a marcação «db.databases»

Parece sabido que, para encontrar uma resposta para uma consulta em um banco de dados relacional , é preciso tempo e não é possível se livrar do expoente.QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Como pode ser muito grande, nos perguntamos por que os bancos de dados funcionam na prática.DDD É apenas uma questão de as …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado ao fato de que não é possível …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

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 

Estou explorando a idéia de escrever um DBMS de maneira puramente funcional. A estrutura de dados tradicional usada para indexação é a B-Tree. Gostaria de saber algum equivalente puramente funcional do B-Tree que seria otimizado para minimizar o acesso ao disco. Obrigado.

14 ds.data-structures  functional-programming  db.databases 

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 

No cs.stackexchange , perguntei sobre a biblioteca algebird scala no github, especulando por que eles precisam de um pacote de álgebra abstrata. A página do github tem algumas dicas: Implementações de Monoids para algoritmos de aproximação interessantes, como filtro Bloom, HyperLogLog e CountMinSketch. Isso permite que você pense nessas operações …

11 soft-question  machine-learning  linear-algebra  db.databases 

Estou procurando uma estrutura de dados altamente eficiente para armazenamento de dados semelhante à seguinte. Tags de identificação Pedido1 Pedido2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Eu preciso ser capaz de consultar essa estrutura de tal forma a que …

11 ds.data-structures  application-of-theory  db.databases 

Histórico: O processamento de transações tem sido um tópico de pesquisa tradicional na teoria de bancos de dados. Atualmente, as transações distribuídas são popularizadas pelos sistemas de armazenamento distribuído em larga escala, que geralmente envolvem partição de dados (também chamada de sharding) e replicação de dados . Quais são os …

10 reference-request  big-list  dc.distributed-comp  db.databases 

Parece que em linguagens de consulta populares para bancos de dados relacionais, é possível criar consultas que exigirão muitos recursos para serem respondidas. Na prática, os administradores de banco de dados gerenciam isso limitando a quantidade de memória por consulta e verificando se há consultas de longa duração, se houver …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

Eu estava lendo On Bulls * t , de Harry Frankfurt , um ensaio filosófico de 1986 sobre essa noção embaçada entre verdade e falsidade. Este não é um exercício gratuito. Isso pode ter aplicações para a ciência da computação, pois estamos sempre canalizando conjuntos de dados entre si . …

8 lo.logic  ds.data-structures  circuit-complexity  randomized-algorithms  db.databases 

Quais são as melhores referências para auto-estudo no DATALOG? Estou particularmente interessado em poder expressivo, resultados de complexidade, métodos de avaliação, extensões de DATALOG com negação, etc. Existem livros ou documentos que cobrem tudo isso?

8 reference-request  lo.logic  db.databases  logic-programming