Câu hỏi được gắn thẻ «database-theory»

Tại sao một công ty như Twitter sẽ quan tâm đến các khái niệm đại số như các nhóm, đơn sắc và nhẫn? Xem kho lưu trữ của họ tại github: twitter / aloltird . Tất cả những gì tôi có thể tìm thấy là: Việc triển khai Monoids cho …

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

SQL có cần truy vấn con không? Hãy tưởng tượng một triển khai đủ khái quát của ngôn ngữ truy vấn có cấu trúc cho các cơ sở dữ liệu quan hệ. Do cấu trúc của câu lệnh SQL chuẩn SELECTthực sự rất quan trọng đối với điều này có …

29 database-theory  relational-algebra 

Tôi có một bộ các cặp. Mỗi cặp có dạng (x, y) sao cho x, y thuộc các số nguyên từ phạm vi [0,n). Vì vậy, nếu n là 4, thì tôi có các cặp sau: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Tôi đã có các cặp. Bây giờ, tôi …

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 

Theo Immerman , lớp phức tạp liên quan đến các truy vấn SQL chính xác là lớp truy vấn an toàn trong (truy vấn bậc một cộng với toán tử đếm): SQL nắm bắt các truy vấn an toàn. (Nói cách khác, tất cả các truy vấn SQL có độ …

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

Toán tử khác biệt tập hợp (ví dụ, EXCEPTtrong một số biến thể SQL) là một trong nhiều toán tử cơ bản của đại số quan hệ. Tuy nhiên, có một số cơ sở dữ liệu không hỗ trợ trực tiếp toán tử khác biệt tập hợp, nhưng hỗ trợ …

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

Thuật toán của Codd chuyển đổi một biểu thức trong phép tính quan hệ tuple thành Đại số quan hệ. Có một thực hiện tiêu chuẩn của thuật toán? Là thuật toán này được sử dụng bất cứ nơi nào? (Có vẻ như ngành công nghiệp chỉ cần SQL và …

12 algorithms  database-theory 

Giả sử chúng ta muốn tham gia hai mối quan hệ trên một vị ngữ. Đây có phải là NC không? Tôi nhận ra rằng một bằng chứng về việc nó không ở NC sẽ là bằng chứng cho thấy , vì vậy tôi chấp nhận bằng chứng về việc …

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

Sách giáo khoa của tôi đưa ra định nghĩa sau đây về khóa chính trong cơ sở dữ liệu quan hệ mà tôi hoàn toàn không hiểu. Trợ giúp sẽ được đánh giá cao. Đặt là quan hệ. Thì khóa chính cho R là tập hợp con của tập hợp …

8 database-theory