Preguntas etiquetadas con db.databases

19

¿Por qué funcionan las bases de datos relacionales, dada la complejidad exponencial teórica de la búsqueda de respuestas (en el tamaño de la consulta)?

Parece que se sabe que para encontrar una respuesta a una consulta sobre una base de datos relacional , se necesita tiempo , y no se puede eliminar el exponente.QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Como puede ser muy grande, nos preguntamos por qué las bases de datos funcionan en la...

18

¿Es posible probar si un número computable es racional o entero?

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...

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 una relación entre álgebra relacional / cálculo y teoría de categorías?

Conozco al menos dos enfoques teóricos diferentes para comprender las bases de datos relacionales: álgebra / cálculo relacional de Codd y teoría de categorías. ¿Hay alguna relación entre estos dos enfoques? ¿Son en algún sentido equivalentes? ¿Existe algún trabajo introductorio que explique cómo...

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

14

¿Equivalente puramente funcional de B-Tree?

Estoy explorando la idea de escribir un DBMS de manera puramente funcional. La estructura de datos tradicional utilizada para la indexación es B-Tree. Me gustaría conocer un equivalente puramente funcional de B-Tree que se optimizaría para minimizar el acceso al disco.

ds.data-structures functional-programming db.databases

12

¿Cuáles son los recientes avances en bases de datos relacionales?

Me pregunto cuáles son los avances recientes en la teoría de bases de datos relacionales y dominios relacionados. Estoy interesado en nuevos enfoques, lenguajes de consulta (alternativas a SQL y / o extensiones), productos (propietarios y de código abierto, aunque estoy mucho más interesado en el...

db.databases relational-structures

11

Estructura de datos que permite búsquedas eficientes basadas en etiquetas

Estoy buscando una estructura de datos altamente eficiente para el almacenamiento de datos similar a la siguiente. Etiquetas de identificación Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Tengo que ser capaz de consultar esta estructura de tal manera que me...

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

11

¿Cómo forman las agregaciones de bases de datos un monoide?

En cs.stackexchange , pregunté sobre la biblioteca algebird scala en github, especulando sobre por qué podrían necesitar un paquete de álgebra abstracta. La página de github tiene algunas pistas: Implementaciones de monoides para algoritmos de aproximación interesantes, como el filtro Bloom,...

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

10

¿Cuáles son los principales problemas de investigación en las transacciones distribuidas?

Antecedentes: el procesamiento de transacciones ha sido un tema de investigación tradicional en la teoría de bases de datos. Hoy en día, las transacciones distribuidas se popularizan por los sistemas de almacenamiento distribuido a gran escala que generalmente implican la partición de datos...

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

9

Lenguajes de consulta de base de datos para consultas eficientes

Parece que en los lenguajes de consulta populares para bases de datos relacionales, es posible crear consultas que requerirán muchos recursos para responder. En la práctica, los administradores de bases de datos administran esto limitando la cantidad de memoria por consulta y verificando si hay...

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

8

Referencias de DATALOG

¿Cuáles son las mejores referencias para el autoestudio en DATALOG? Estoy particularmente interesado en el poder expresivo, los resultados de complejidad, los métodos de evaluación, las extensiones de DATALOG con negación, etc. ¿Hay libros o documentos que cubran todo

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

8

lógica en presencia de duda, incertidumbre, mentiras

Estaba leyendo On Bulls * t de Harry Frankfurt , un ensayo filosófico de 1986 sobre esta noción borrosa entre verdad y falsedad. Este no es un ejercicio gratuito. Esto puede tener aplicaciones para la informática, ya que siempre estamos conectando conjuntos de datos entre sí . Algunas de estas...

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