«relational-algebra» 태그된 질문

SQL에 서브 쿼리가 필요합니까? 관계형 데이터베이스에 대해 구조화 된 쿼리 언어의 충분히 일반화 된 구현을 상상해보십시오. 표준 SQL SELECT문의 구조 는 실제로 이것이 의미가 있기 때문에 매우 중요하기 때문에 관계형 대수에 직접 호소하지는 않지만 표현식 형식에 적절한 제한을 두어 이러한 용어로 프레임을 구성 할 수 있습니다. 중 SQL SELECT쿼리는 일반적으로 …

29 database-theory  relational-algebra 

Wikipedia와 내가 찾은 다른 소스 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) 이미 쌍이 있습니다. 이제 n/2정수를 반복하지 않도록 쌍을 사용하여 조합을 만들어야합니다 (즉, 각 정수는 적어도 마지막 조합에서 한 번 이상 나타납니다). 다음은 더 …

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(일종의 외부 조인) 데이터베이스가 있으며 실제로는 차이 설정 작업 대신 동일한 효과를 얻기 위해 사용할 수 있습니다. 이는 LEFT JOIN연산자가 유지 되는 한, 차이 설정 연산자 없이도 …

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

빅 데이터 관점에서 비롯됩니다. 기본적으로 많은 프레임 워크 (Apache Spark와 같은)는 Functor / Monad와 같은 인터페이스를 제공하여 관계형 작업의 부족을 "보상"하고 cats-to-SQL 변환 (Slick in Scala)으로 유사한 움직임이 있습니다. 예를 들어, SQL 관점에서 벡터의 요소 별 곱셈을 위해서는 자연스런 조인 (인덱스에 대한 반복이 없다고 가정)이 필요 합니다. 이는 범주 이론의 …

12 relational-algebra  category-theory  curry-howard