Вопросы с тегом «database-theory»

6
Что используют группы, моноиды и кольца в вычислениях базы данных?
Почему такая компания, как Twitter, заинтересована в алгебраических понятиях, таких как группы, моноиды и кольца? Смотрите их репозиторий на github: twitter / algebird . Все, что я мог найти, это: Реализации Monoids для интересных алгоритмов аппроксимации, таких как фильтр Блума , HyperLogLog и CountMinSketch . Они позволяют вам думать об …

3
Добавляют ли подзапросы выразительную силу к запросам SQL?
Нужны ли SQL подзапросы? Представьте себе достаточно обобщенную реализацию языка структурированных запросов для реляционных баз данных. Поскольку структура канонического оператора SQL на SELECTсамом деле очень важна для того, чтобы это имело смысл, я не обращаюсь непосредственно к реляционной алгебре, но вы можете сформулировать это в этих терминах, сделав соответствующие ограничения …

6
Генерация комбинаций из набора пар без повторения элементов
У меня есть набор пар. Каждая пара имеет форму (x, y), так что x, y принадлежат целым числам из диапазона [0,n). Итак, если n равно 4, то у меня есть следующие пары: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) У меня уже есть пары. Теперь я должен построить комбинацию, используя n/2пары, …

3
Расширение захвата SQL
По словам Иммермана , класс сложности, связанный с запросами SQL, - это в точности класс безопасных запросов в (запросы первого порядка плюс оператор подсчета): SQL захватывает безопасные запросы. (Другими словами, все запросы SQL имеют сложность в , и все проблемы в могут быть выражены как запрос SQL.)Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))}Q(FO(COUNT))Q(FO(COUNT))\mathsf{Q(FO(COUNT))} Исходя из этого …

2
Добавляет ли операция «разница» выразительность к языку запросов, который уже включает «соединение»?
Оператор разности множеств (например, EXCEPTв некоторых вариантах SQL) является одним из многих фундаментальных операторов реляционной алгебры. Тем не менее, существуют некоторые базы данных, которые не поддерживают оператор разности множеств напрямую, но поддерживают LEFT JOIN(своего рода внешнее соединение), и на практике это можно использовать вместо операции разности множеств для достижения того …

1
Об алгоритме сокращения Кодда
Алгоритм Кодда преобразует выражение в корреляционном исчислении в реляционную алгебру. Есть ли стандартная реализация алгоритма? Этот алгоритм используется где-нибудь? (Похоже, что отрасли нужны только SQL и варианты, я не уверен насчет теоретиков баз данных в академических кругах.) Какова сложность сокращения? Это было опубликовано на SO более года назад, но не …

1
Могут ли объединения быть распараллелены?
Предположим, мы хотим объединить два отношения в предикате. Это в NC? Я понимаю, что доказательство того, что он не находится в NC, будет равносильно доказательству того, что п≠ NСп≠NСP\not=NC , поэтому я бы принял доказательство того, что это открытая проблема, в качестве ответа. Меня интересует как общий случай, так и …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.