Đây là ứng dụng Linux có tên là gói Kiel University Relation để chạy trong Linux trực tuyến có bản phát hành mới nhất có thể được tải xuống dưới dạng kure2-2.2.tar.gz. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng này có tên là gói Kiel University Relation để chạy trong Linux trực tuyến với OnWorks miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
Gói Kiel University Relation để chạy trong Linux trực tuyến
Ad
MÔ TẢ
Kure là một thư viện C cung cấp các thao tác của các quan hệ và các phép toán của đại số quan hệ bằng cách sử dụng triển khai nhanh chóng bằng cách sử dụng sơ đồ quyết định nhị phân. Nó cung cấp một ngôn ngữ lập trình nhúng theo miền cụ thể dựa trên Lua để thao tác và làm việc với các quan hệ một cách thuận tiện. Ví dụ, các quan hệ R, S đã cho, việc gộp chúng có thể được tính bằng [R, S] và chúng có thể được tạo bằng cách sử dụng R * S.Tính năng
- Biểu diễn và thao tác các quan hệ lớn tùy ý, ví dụ 2 ^ 100 x 2 ^ 100.
- Hằng số quan hệ: Tất cả, null, nhận dạng.
- Các quan hệ đặc biệt: Tư cách thành viên, hàm một phần và toàn bộ, bộ kế thừa, miền.
- Các chức năng cơ bản: Tham gia, gặp gỡ, thành phần, bổ sung, chuyển vị.
- So sánh các quan hệ và so sánh các quan hệ theo cardinality.
- Đóng phản xạ, đối xứng và bắc cầu.
- Phần dư bên trái và bên phải và thương số đối xứng.
- Tổng trực tiếp, tupling, thứ tự sản phẩm và thứ tự tổng.
- Tên miền cho các sản phẩm trực tiếp nhị phân và tổng trực tiếp bao gồm các chức năng chiếu.
- Hoàn toàn có thể tập lệnh và có thể mở rộng bằng Lua.
- Ngôn ngữ lập trình nhúng dành riêng cho miền dành cho kịch bản cấp cao.
- Được viết bằng C sử dụng POSIX.
Khán giả
Khoa học / Nghiên cứu, Nhà phát triển
Ngôn ngữ lập trình
C, Lúa, Yacc
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/kure/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.
