Questions marquées «db.databases»

19

Pourquoi les bases de données relationnelles fonctionnent-elles du tout, étant donné la complexité exponentielle théorique de la recherche de réponses (dans la taille de la requête)?

Il semble connu que pour trouver une réponse à une requête sur une base de données relationnelle D , il faut du temps | D | | Q | , et on ne peut pas se débarrasser de l'exposant | Q | .QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Comme peut être très volumineux, nous nous demandons pourquoi les bases de...

18

Est-il possible de tester si un nombre calculable est rationnel ou entier?

Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en...

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

17

Existe-t-il une relation entre l'algèbre / calcul relationnel et la théorie des catégories?

Je connais au moins deux approches théoriques différentes pour comprendre les bases de données relationnelles: l'algèbre / calcul relationnel de Codd et la théorie des catégories. Existe-t-il une relation entre ces deux approches? Sont-ils en quelque sorte équivalents? Existe-t-il des travaux...

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

14

Équivalent purement fonctionnel de B-Tree?

J'explore l'idée d'écrire un SGBD de manière purement fonctionnelle. La structure de données traditionnelle utilisée pour l'indexation est B-Tree. J'aimerais connaître un équivalent purement fonctionnel de B-Tree qui serait optimisé pour minimiser l'accès au disque.

ds.data-structures functional-programming db.databases

12

Quelles sont les avancées récentes dans les bases de données relationnelles?

Je me demande quelles sont les avancées récentes de la théorie des bases de données relationnelles et des domaines connexes? Je suis intéressé par les nouvelles approches, les langages de requête (alternatives à SQL et / ou extensions de celui-ci), les produits (propriétaires et open source, même...

db.databases relational-structures

11

Structure de données permettant des recherches efficaces basées sur des balises

Je recherche une structure de données très efficace pour le stockage de données similaire à la suivante. Étiquettes d'identification Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 J'ai besoin de pouvoir interroger cette structure de manière à ce qu'elle me donne une...

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

11

Comment les agrégations de bases de données forment-elles un monoïde?

Sur cs.stackexchange, j'ai posé des questions sur la bibliothèque d' algebird scala sur github, spéculant sur les raisons pour lesquelles ils pourraient avoir besoin d'un paquet d'algèbre abstrait. La page github contient quelques indices: Implémentations de Monoids pour des algorithmes...

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

10

Quels sont les principaux enjeux de recherche dans les transactions distribuées?

Contexte: Le traitement des transactions est un sujet de recherche traditionnel en théorie des bases de données. De nos jours, les transactions distribuées sont popularisées par les systèmes de stockage distribué à grande échelle qui impliquent généralement la partition de données (également...

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

9

Langages de requête de base de données pour des requêtes efficaces

Il semble que dans les langages de requête populaires pour les bases de données relationnelles, il est possible de créer des requêtes qui nécessiteront beaucoup de ressources pour répondre. En pratique, les administrateurs de base de données gèrent cela en limitant la quantité de mémoire par...

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