«relational-algebra» etiketlenmiş sorular

SQL'in alt sorgulara ihtiyacı var mı? İlişki veritabanları için yapılandırılmış sorgu dilinin yeterince genel bir uygulamasını hayal edin. Kanonik SQL SELECTdeyiminin yapısı aslında anlam ifade etmek için oldukça önemli olduğundan, doğrudan ilişkisel cebirlere hitap etmiyorum, ancak ifadeler biçiminde uygun kısıtlamalar yaparak bu terimlerle çerçevelendirebilirsiniz. Bir SQL SELECTsorgusu, genel olarak bir …

29 database-theory  relational-algebra 

Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …

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 

Bir çift çiftim var. Her çift, (x, y) formundadır, öyle ki, x, y, aralıktaki tam sayılara aittir [0,n). Yani, n 4 ise, o zaman aşağıdaki çiftleri var: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Zaten çiftlerim var. Şimdi, n/2tamsayıların hiçbirinin tekrarlanmayacağı şekilde çiftler kullanarak bir kombinasyon oluşturmam gerekiyor (başka bir deyişle, …

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 

Set farkı operatörü (örneğin, EXCEPTbazı SQL varyantlarında) ilişkisel cebirin birçok temel operatöründen biridir. Bununla birlikte, set farkı operatörünü doğrudan desteklemeyen, ancak LEFT JOIN(bir tür dış birleşimi) destekleyen bazı veritabanları vardır ve pratikte bu, aynı etkiyi elde etmek için ayarlanmış bir fark işlemi yerine kullanılabilir. Bu, bir sorgu dilinin ifade gücünün, …

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

Büyük veri perspektifinden geliyor. Temel olarak, birçok çerçeve (Apache Spark gibi), Functor / Monad benzeri arayüzler sağlayarak ilişkisel işlemlerin eksikliğini "telafi eder" ve kedilerden SQL dönüşümlerine (Slick in Scala) benzer bir hareket vardır. Örneğin, Kategori Teorisinin uygulamalarında zip + map(multiply) (Spark'ın MLib'i zaten var ElementwiseProduct) olarak düşünülebilen, SQL perspektifinden vektörlerin …

12 relational-algebra  category-theory  curry-howard