≤b. Ký hiệu a = LFP(T).
Điểm bất động a của T được gọi là cực tiểu nếu khụng tồn tại điểm bấtđộng khỏc b của T sao cho b≤a. động khỏc b của T sao cho b≤a.
CHƯƠNG 3: ỨNG DỤNG DATALOG GIẢI QUYẾT MỘT SỐ BÀI TOÁNĐỆ QUY ĐỆ QUY
3.1. Giới thiệu phần mềm DES (Datalog Educational System)
DES là phần mềm miễn phớ, mó nguồn mở, cú thể thực thi trờn nhiều hệ điều hành khỏc nhau như: Windows, Linux, Mac OS, … Phần mềm này được nhiều trường đại học dựng làm cụng cụ để thể hiện về CSDL suy diễn. Được đưa ra bởi Fernando Sỏenz Pộrez cựng nhúm tỏc giả.
Chỳng ta cú thể tải phần mềm và cỏc tài liệu liờn quan tại:
http://des.sourceforge.net/. Tại đõy chỳng ta cú thể tỡm được phiờn bản thớch hợp cho từng hệ điều hành.
3.2. Cài đặt phần mềm ứng dụng DES
Sau khi tải phần mềm từ trang chủ, ta tiến hành giải nộn và chạy chương trỡnh như sau:
Nhỏy đỳp chuột vào file Deswin.exe để chạy chương trỡnh như một ứng dụng trờn hệ điều hành
Hoặc nhỏy đỳp chuột và file Des.exe để chạy chương trỡnh bằng cửa sổ Command Prompt (Cmd.exe)
3.3.1. Bài toỏn fibonaci
Giới thiệu bài toỏn
Dóy số Fibonacci rất đặc biệt này được một người í tờn là Leonardo Fibonacci cụng bố năm 1202 và được biến húa hầu như vụ tận. Chớnh điều đú, đó thu hỳt được rất nhiều sự quan tõm cũng như làm chỳng ta say mờ nghiờn cứu, khỏm phỏ cỏc tớnh chất của nú. Vậy dóy số Fibonacci là dóy số như thế nào? Ban đầu, ụng Fibonacci xột bài toỏn sau:
Giả sử cú một cặp thỏ mắn đẻ cứ cuối mỗi thỏng lại sinh ra một cặp mới. Nếu mỗi cặp mới đú cũng lại đẻ sau một thỏng và nếu khụng cú con nào bị chết cả thỡ sau một năm cú bao nhiờu cặp thỏ?
Và đú là tiền thõn của dóy số được xỏc định bằng cỏch liệt kờ cỏc phần tử như sau: