Preguntas etiquetadas con database-theory

¿Por qué una empresa como Twitter estaría interesada en conceptos algebraicos como grupos, monoides y anillos? Vea su repositorio en github: twitter / algebird . Todo lo que pude encontrar es: Implementaciones de monoides para algoritmos de aproximación interesantes, como el filtro Bloom , HyperLogLog y CountMinSketch . Estos le …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

¿SQL necesita subconsultas? Imagine una implementación suficientemente generalizada del lenguaje de consulta estructurado para bases de datos de relaciones. Como la estructura de la SELECTdeclaración canónica de SQL es bastante importante para que esto tenga sentido, no apelo directamente al álgebra relacional, pero podría enmarcar esto en esos términos haciendo …

29 database-theory  relational-algebra 

Tengo un conjunto de pares. Cada par tiene la forma (x, y) de modo que x, y pertenecen a enteros del rango [0,n). Entonces, si n es 4, entonces tengo los siguientes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ya tengo las parejas. Ahora, tengo que construir una combinación usando …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Según Immerman , la clase de complejidad asociada con las consultas SQL es exactamente la clase de consultas seguras en Q ( F O ( C O U N T ) )Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (consultas de primer orden más operador de conteo): SQL captura consultas seguras. (En otras palabras, todas las consultas …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

El operador de diferencia de conjuntos (p. Ej., EXCEPTEn algunas variantes de SQL) es uno de los muchos operadores fundamentales del álgebra relacional. Sin embargo, hay algunas bases de datos que no admiten el operador de diferencia de conjunto directamente, pero que admiten LEFT JOIN(una especie de unión externa), y …

19 database-theory  relational-algebra  finite-model-theory 

El algoritmo de Codd convierte una expresión en cálculo relacional de tuplas a álgebra relacional. ¿Existe una implementación estándar del algoritmo? ¿Se usa este algoritmo en alguna parte? (Parece que la industria solo necesita SQL y variantes, no estoy seguro acerca de los teóricos de bases de datos en la …

12 algorithms  database-theory 

Supongamos que queremos unir dos relaciones en un predicado. ¿Está esto en Carolina del Norte? Me doy cuenta de que una prueba de que no está en Carolina del Norte equivaldría a una prueba de que PAGS≠ NCPAGS≠norteCP\not=NC , por lo que aceptaría evidencia de que es un problema abierto …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

Mi libro de texto ofrece la siguiente definición de una clave primaria en una base de datos relacional, que no entiendo completamente. La ayuda sería muy apreciada. Deje ser una relación. Entonces, la clave principal para es un subconjunto del conjunto de atributos de , digamos , que satisface las …

8 database-theory