Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. bddbddb: BDD-Based Deductive Database

bddbddb: BDD-Based Deductive Database

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu
Tải về

BDD dựa trên suy luận cơ sở dữ liệu, một thực hiện datalog sử dụng sơ đồ quyết định nhị phân như là cấu trúc dữ liệu cơ bản. Điều này cho phép nó đại diện cho các mối quan hệ có kích thước theo cấp số nhân một cách hiệu quả.

lịch sử phiên bản

  • Phiên bản N/A đăng trên 2011-08-06
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2011-08-06

Chi tiết chương trình

Các chương trình liên quan

  • Proxy Pal For Networks Miễn phí

    PPFN, nó cũng là một công cụ để được ẩn từ bất kỳ nhật ký máy chủ, các nhà phát triển biết những gì họ phải làm. Nếu bạn tải về gói cuối cùng này, bạn sẽ có thể thưởng thức các trang web biết rằng bạn sẽ được an toàn. Vì vậy,

  • XBMC / Boxee Remote Miễn phí

    Điều khiển từ xa cho XBMC / Boxee.XIN VUI LÒNG GỠ BỎ CÀI ĐẶT v1.0!!!v3.1* Hồ sơ hỗ trợ trong sở thíchv2.2 (Bằng chứng là 2.2)* Sửa lỗi nhỏv2.1 (Bằng chứng là 2.1)* Sửa lỗi nhỏ để làm cho nó hoạt động với windows

  • jDTAUS Miễn phí

    Java thực hiện các fileformat DTAUS Đức. Hỗ trợ đọc, thêm, chỉnh sửa, xóa các hoạt động và bản ghi tiện ích mở rộng. Một ứng dụng GUI có sẵn chứng minh tất cả các tính năng có sẵn. Xem ảnh chụp màn hình.

  • Alligator Snap Dùng thử miễn phí

    Đính cùng các trang web của riêng bạn trong 3 bước đơn giản. Bạn không cần bất kỳ trải nghiệm nào trước đó - Alligator Snap đi kèm với các mẫu Web được thiết kế sẵn và vô số tính năng tuyệt vời. Các mẫu bổ sung có thể được tả

  • Mayur Linux Miễn phí

    Hệ điều hành Mayur Linux dựa trên hạt nhân LinuxPAE64 cho phép những chương trình x86-64 chạy trên hệ điều hành 32 bit nếu bộ xử lý tương thích với x86-64.

  • RIDGID Digital Bubble Level Dùng thử miễn phí

    Ridgid® Bubble Level có ba lọ cho ống nước, mức độ và miter 45 °. Có một tính năng âm thanh tùy chọn cho phép bạn xác định rõ ràng kết quả của mình cho các tình huống khi bạn không thể xem màn hình. Màn hình cũng hiển thị c

  • CNC GCODE Coordinate Transposition Tool Miễn phí

    Công cụ Python 3.1 này thao tác hệ tọa độ của CNC GCODE để gia công hoặc khắc. Nó có thể lật tọa độ X, Y hoặc Z, phản chiếu tọa độ X, Y hoặc Z, lật hoặc Phản chiếu cả hai tọa độ XY hoặc chèn chuyển động Z vào tệp GCODE không

  • Cell Messaging Layer Miễn phí

    Lớp nhắn tin di động là một thư viện giao tiếp cực kỳ nhanh, giống như MPI cho các cụm bộ xử lý Cell Broadband Engine. Với nó, bất kỳ yếu tố xử lý hiệp đồng Cell (SPE) nào cũng có thể giao tiếp trực tiếp với bất kỳ SPE nào kh

  • cccl Miễn phí

    cccl là một wrapper xung quanh Microsoft Visual C ++ của cl.exe và liên kết.exe. Nó chuyển đổi các tham số dòng lệnh trình biên dịch Unix thành các tham số tương đương cho cl và liên kết.

  • C/C++ Program Perfometer Miễn phí

    Chương trình cho phép để có được hiệu suất của C / C + + chương trình và phần riêng biệt của mã cho bất kỳ số liệu (ví dụ: thời gian, bộ nhớ, số liệu được xác định bởi người sử dụng vv). Kết quả đo lường được thể hiện trong b