Pertanyaan yang diberi tag «database-theory»

Mengapa perusahaan seperti Twitter tertarik pada konsep aljabar seperti grup, monoids, dan cincin? Lihat repositori mereka di github: twitter / algebird . Yang bisa saya temukan adalah: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom , HyperLogLog , dan CountMinSketch . Ini memungkinkan Anda untuk memikirkan operasi canggih …

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

Apakah SQL memerlukan subquery? Bayangkan implementasi yang cukup umum dari bahasa query terstruktur untuk database relasi. Karena struktur SELECTpernyataan SQL kanonik sebenarnya cukup penting untuk membuat ini masuk akal, saya tidak menarik langsung ke aljabar relasional, tetapi Anda bisa membingkai ini dalam istilah-istilah tersebut dengan membuat batasan yang tepat pada …

29 database-theory  relational-algebra 

Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun kombinasi menggunakan n/2pasangan sehingga tidak …

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 

Menurut Immerman , kelas kompleksitas yang terkait dengan kueri SQL adalah kelas kueri aman di (kueri urutan pertama ditambah operator penghitungan): SQL menangkap kueri aman. (Dengan kata lain, semua kueri SQL memiliki kompleksitas dalam , dan semua masalah di dapat diekspresikan sebagai kueri SQL.)Q ( F O ( C O …

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

Operator perbedaan set (misalnya, EXCEPTdalam beberapa varian SQL) adalah salah satu dari banyak operator dasar aljabar relasional. Namun, ada beberapa database yang tidak mendukung operator perbedaan set secara langsung, tetapi yang mendukung LEFT JOIN(semacam gabungan luar), dan dalam praktiknya ini dapat digunakan sebagai pengganti operasi perbedaan set untuk mencapai efek …

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

Algoritma Codd mengubah ekspresi dalam kalkulus relasional tuple menjadi Aljabar Relasional. Apakah ada implementasi standar dari algoritma? Apakah algoritma ini digunakan di mana saja? (Tampaknya industri ini hanya membutuhkan SQL dan varian, saya tidak yakin tentang teori database di akademisi.) Apa kerumitan reduksi? Ini diposting di SO lebih dari setahun …

12 algorithms  database-theory 

Misalkan kita ingin menggabungkan dua relasi dengan predikat. Apakah ini di NC? Saya menyadari bahwa buktinya tidak berada di NC akan menjadi bukti bahwa , jadi saya akan menerima bukti itu menjadi masalah terbuka sebagai jawaban.P≠NCP≠NCP\not=NC Saya tertarik pada kasus umum serta kasus-kasus tertentu (misalnya mungkin dengan beberapa struktur data …

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

Buku teks saya memberikan definisi kunci primer berikut dalam basis data relasional, yang saya tidak sepenuhnya mengerti. Bantuan akan sangat dihargai. Biarkan menjadi relasi. Kemudian kunci utama untuk adalah himpunan bagian dari set atribut , katakan , memenuhi dua sifat berikut:RRRRRRRRRKKK Keunikan Properti: Tidak ada dua tupel yang berbeda dari …

8 database-theory