Запитання з тегом «database-theory»

Чому така компанія, як Twitter, зацікавлена ​​в таких алгебраїчних поняттях, як групи, моноїди та кільця? Перегляньте їх сховище в github: twitter / algebird . Все, що я міг знайти, це: Реалізація Monoids для цікавих алгоритмів наближення, таких як фільтр Bloom , HyperLogLog та CountMinSketch . Вони дозволяють думати про такі …

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

Чи потрібні SQL підзапити? Уявіть достатньо узагальнену реалізацію структурованої мови запитів для баз даних відношень. Оскільки структура канонічного оператора SQL SELECTнасправді є досить важливою для цього, щоб мати сенс, я не звертаюсь безпосередньо до реляційної алгебри, але ви могли це обрамлити в цих термінах, зробивши відповідні обмеження форми виразів. SQL …

29 database-theory  relational-algebra 

У мене є набір пар. Кожна пара має вигляд (x, y) такий, що x, y належать цілим числам з діапазону [0,n). Отже, якщо n дорівнює 4, то у мене є такі пари: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У мене вже є пари. Тепер я повинен побудувати комбінацію за допомогою …

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 

Згідно з Іммерманом , клас складності, пов'язаний із SQL- запитами, є саме класом безпечних запитів у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (запити першого порядку плюс оператор підрахунку): SQL фіксує безпечні запити. (Іншими словами, всі запити SQL мають складність у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} , а всі проблеми - у Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} може бути виражений у вигляді SQL-запиту.) Виходячи …

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

Оператор заданої різниці (наприклад, EXCEPTу деяких варіантах SQL) є одним із багатьох фундаментальних операторів реляційної алгебри. Однак є деякі бази даних, які не підтримують оператора заданої різниці безпосередньо, але які підтримують LEFT JOIN(свого роду зовнішнє з'єднання), і на практиці це можна використовувати замість операції набору різниць для досягнення того ж …

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

Алгоритм Кодда перетворює вираз у кортежному реляційному обчисленні в реляційну алгебру. Чи є стандартна реалізація алгоритму? Чи використовується цей алгоритм де-небудь? (Здається, що галузі потрібні лише SQL та варіанти, я не впевнений у теоретиках баз даних в академічних колах.) У чому складність скорочення? Це було опубліковано на SO понад рік …

12 algorithms  database-theory 

Припустимо, ми хочемо з'єднати два стосунки за присудком. Це в NC? Я усвідомлюю, що доказ того, що його немає в NC, буде означати доказ того, що , тому я б прийняв докази, що це відкрита проблема як відповідь.П≠ NСP≠NCP\not=NC Мене цікавлять загальний випадок, а також конкретні випадки (наприклад, можливо, з …

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