Запитання з тегом «relational-algebra»

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

29 database-theory  relational-algebra 

Вікіпедія, а також інші джерела, які я знайшов, перелічують voidтип C як тип одиниці, а не порожній. Я вважаю це заплутаним, як мені здається, що voidкраще відповідає визначенню типу порожній / нижній. voidНаскільки я можу сказати, цінності не населяються . Функція з типом повернення void вказує, що функція нічого не …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

У мене є набір пар. Кожна пара має вигляд (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 

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

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

Це відбувається з точки зору великих даних. В основному, багато фреймворків (наприклад, Apache Spark) "компенсують" відсутність реляційних операцій, забезпечуючи інтерфейси, подібні до Functor / Monad, і відбувається подібний рух до перетворень котів у SQL (Slick in Scala). Наприклад, нам потрібне природне з'єднання (якщо не бути повторів на індексах) для zip …

12 relational-algebra  category-theory  curry-howard