Câu hỏi được gắn thẻ «db.databases»

Dường như được biết rằng để tìm câu trả lời cho truy vấn qua cơ sở dữ liệu quan hệ D , người ta cần có thời gian | D | | Q | và người ta không thể thoát khỏi số mũ | Q | .QQQDDD|D||Q||D||Q||D|^{|Q|}|Q||Q||Q| Vì có thể …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Có thể kiểm tra bằng thuật toán nếu một số tính toán là số nguyên hay số nguyên? Nói cách khác, một thư viện có thể thực hiện các số tính toán để cung cấp các hàm isIntegerhay isRationalkhông? Tôi đoán rằng điều đó là không thể, và điều này …

18 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 

Tôi nhận thức được ít nhất hai cách tiếp cận lý thuyết khác nhau để hiểu cơ sở dữ liệu quan hệ: đại số / phép tính quan hệ của Codd và lý thuyết thể loại. Có bất kỳ mối quan hệ giữa hai phương pháp này? Có phải chúng …

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

Tôi đang khám phá ý tưởng viết một DBMS theo cách hoàn toàn chức năng. Cấu trúc dữ liệu truyền thống được sử dụng để lập chỉ mục là B-Tree. Tôi muốn biết một số tương đương chức năng hoàn toàn của B-Tree sẽ được tối ưu hóa để giảm …

14 ds.data-structures  functional-programming  db.databases 

Tôi đang tự hỏi những tiến bộ gần đây trong lý thuyết cơ sở dữ liệu quan hệ và các lĩnh vực liên quan là gì? Tôi quan tâm đến các cách tiếp cận mới, ngôn ngữ truy vấn (các lựa chọn thay thế cho SQL và / hoặc các …

12 db.databases  relational-structures 

Trên cs.stackexchange tôi đã hỏi về thư viện alalaird scala trên github, suy đoán tại sao họ có thể cần một gói đại số trừu tượng. Trang github có một số manh mối: Việc triển khai Monoids cho các thuật toán xấp xỉ thú vị, chẳng hạn như bộ lọc …

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

Tôi đang tìm kiếm một cấu trúc dữ liệu hiệu quả cao để lưu trữ dữ liệu tương tự như sau. Thẻ Id Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Tôi cần phải có khả năng truy vấn …

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

Bối cảnh: Xử lý giao dịch đã là một chủ đề nghiên cứu truyền thống trong lý thuyết cơ sở dữ liệu. Ngày nay các giao dịch phân tán được phổ biến bởi các hệ thống lưu trữ phân tán quy mô lớn thường liên quan đến phân vùng dữ …

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

Dường như trong các ngôn ngữ truy vấn phổ biến cho cơ sở dữ liệu quan hệ, có thể tạo các truy vấn sẽ cần nhiều tài nguyên để trả lời. Trong thực tế, quản trị viên cơ sở dữ liệu quản lý điều này bằng cách giới hạn số …

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

Tôi đang đọc On Bulls của Harry Frankfurt , một tiểu luận triết học năm 1986 về khái niệm mờ nhạt này giữa sự thật và sự giả dối. Đây không phải là một bài tập vô cớ. Điều này có thể có các ứng dụng cho khoa học máy …

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

Các tài liệu tham khảo tốt nhất để tự học trong DATALOG là gì? Tôi đặc biệt quan tâm đến sức mạnh biểu cảm, kết quả phức tạp, phương pháp đánh giá, phần mở rộng của DATALOG với phủ định, v.v ... Có cuốn sách hay bài báo nào đề …

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