Pertanyaan yang diberi tag db.databases

19

Mengapa database relasional bekerja sama sekali, mengingat kompleksitas eksponensial teoretis dari penemuan jawaban (dalam ukuran kueri)?

Tampaknya diketahui bahwa untuk menemukan jawaban atas kueri atas database relasional D , kita perlu waktu | D | | Q | , dan seseorang tidak dapat menyingkirkan eksponen | Q | .QQQDDD| D || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| Karena bisa menjadi sangat besar, kami bertanya-tanya mengapa database bekerja...

18

Apakah mungkin untuk menguji apakah bilangan yang dihitung rasional atau bilangan bulat?

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan...

computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

17

Apakah ada hubungan antara aljabar / kalkulus relasional dan teori kategori?

Saya menyadari setidaknya dua pendekatan teoretis yang berbeda untuk memahami basis data relasional: aljabar / kalkulus relasional Codd, dan teori kategori. Apakah ada hubungan antara kedua pendekatan ini? Apakah mereka dalam beberapa hal setara? Apakah ada pekerjaan pendahuluan yang menjelaskan...

reference-request ct.category-theory db.databases relational-structures

14

Setara Fungsional Murni dari B-Tree?

Saya mengeksplorasi ide menulis DBMS dengan cara yang sepenuhnya fungsional. Struktur data tradisional yang digunakan untuk pengindeksan adalah B-Tree. Saya ingin mengetahui beberapa fungsi yang setara murni dari B-Tree yang akan dioptimalkan untuk meminimalkan akses disk. Terima

ds.data-structures functional-programming db.databases

12

Apa kemajuan terbaru dalam database relasional?

Saya bertanya-tanya apa saja kemajuan terbaru dalam teori basis data relasional dan domain terkait? Saya tertarik pada pendekatan baru, bahasa query (alternatif untuk SQL dan / atau ekstensi untuk itu), produk (proprietary dan open source, meskipun saya jauh lebih tertarik pada open source) dan...

db.databases relational-structures

11

Struktur data yang memungkinkan pencarian berbasis tag yang efisien

Saya mencari struktur data yang sangat efisien untuk penyimpanan data yang mirip dengan yang berikut ini. Id Tags Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Saya harus dapat menanyakan struktur ini sedemikian rupa sehingga akan memberi saya daftar semua id...

ds.data-structures application-of-theory db.databases

11

Bagaimana agregasi basis data membentuk monoid?

Pada cs.stackexchange saya bertanya tentang perpustakaan scala algebird di github, berspekulasi tentang mengapa mereka mungkin membutuhkan paket aljabar abstrak. Halaman github memiliki beberapa petunjuk: Implementasi Monoids untuk algoritme aproksimasi yang menarik, seperti filter Bloom,...

soft-question machine-learning linear-algebra db.databases

10

Apa masalah penelitian utama dalam transaksi terdistribusi?

Latar Belakang: Pemrosesan transaksi telah menjadi topik penelitian tradisional dalam teori basis data. Saat ini transaksi terdistribusi dipopulerkan oleh sistem penyimpanan terdistribusi skala besar yang biasanya melibatkan partisi data (juga disebut sharding) dan replikasi data . Apa masalah...

reference-request big-list dc.distributed-comp db.databases

9

Bahasa query database untuk kueri yang efisien

Tampaknya dalam bahasa kueri populer untuk basis data relasional, dimungkinkan untuk membuat kueri yang akan membutuhkan banyak sumber daya untuk menjawab. Dalam praktiknya, admin basis data mengelola ini dengan membatasi jumlah memori per kueri , dan memeriksa kueri yang telah berjalan lama jika...

cc.complexity-theory pl.programming-languages db.databases finite-model-theory

8

Referensi DATALOG

Apa referensi terbaik untuk belajar mandiri di DATALOG? Saya terutama tertarik pada kekuatan ekspresif, hasil kompleksitas, metode evaluasi, ekstensi DATALOG dengan negasi dll. Apakah ada buku atau makalah yang mencakup semua

reference-request lo.logic db.databases logic-programming

8

logika di hadapan keraguan, ketidakpastian, kebohongan

Saya sedang membaca On Bulls * t karya Harry Frankfurt , esai filosofis 1986 tentang gagasan kabur antara kebenaran dan kepalsuan. Ini bukan latihan serampangan. Ini mungkin memiliki aplikasi untuk ilmu komputer, karena kami selalu menyalurkan set data satu sama lain . Beberapa sumber data ini...

lo.logic ds.data-structures circuit-complexity randomized-algorithms db.databases