oo0_jin_0oo

New Member
Chia sẻ miễn phí cho các bạn tài liệu: Chương trình Datalog
TiÓu luËn kÕt thóc m«n häc: Ch­¬ng tr×nh Datalog
2
t¾c thõa trong khi vÉn duy tr× tÝnh t­¬ng ®­¬ng, nh­ng cã thÓ kh«ng t­¬ng ®­¬ng ®ång d¹ng.
B. Néi dung
I. KiÕn thøc c¬ së
1.1­Nh÷ng kh¸i niÖm vÒ ch­¬ng tr×nh Datalog.§Þnh nghÜa 1.1.1   (VÞ tõ EDB vµ vÞ tõ IDB)
­VÞ tõ EDB (Extensional database relation) lµ vÞ tõ mµ quan hÖ cña nã 
®­îc chøa trong c¬ së d÷ liÖu. 
­VÞ tõ IDB (Intensional database relation) lµ vÞ tõ ®­îc ®Þnh nghÜa 
bëi c¸c quy t¾c logic. 
VÞ  tõ  IDB  trong  mét  ch­¬ng  tr×nh  P  cã  thÓ  xuÊt  hiÖn  ë  ®Çu  hoÆc 
th©n cña quy t¾c. VÞ tõ EDB lµ c¸c vÞ tõ kh«ng xuÊt hiÖn trong ®Çu quy t¾c mµ chØ xuÊt hiÖn trong th©n quy t¾c.§Þnh nghÜa 1.1.2   (Nguyªn tè­atom)
NÕu  A
1
,  A
2
,...,A
n
  lµ  c¸c  biÕn  hoÆc  h»ng  vµ  p  lµ  ký  hiÖu  vÞ  tõ  th× 
p(A
1
,A
2
,...,A
n
) ®­îc gäi lµ mét nguyªn tè.
Quy ­íc: C¸c vÞ tõ ®­îc viÕt b»ng ch÷ th­êng, c¸c biÕn ®­îc viÕt b»ng 
ch÷ in hoa.§Þnh nghÜa 1.1.3   (VÞ tõ x©y dùng trong)
Mét vÞ tõ x©y dùng trong lµ mét vÞ tõ so s¸nh sè häc (=, 
¹, £, ³, >, <) 
víi ng÷ nghÜa ®· x¸c ®Þnh. 
NÕu 
q lµ vÞ tõ x©y dùng trong th× ta viÕt   XqY thay cho q(X,Y). VÞ 
tõ x©y dùng trong chØ xuÊt hiÖn trong th©n quy t¾c.§Þnh nghÜa 1.1.4   (MÖnh ®Ò Horn)
MÖnh ®Ò Horn lµ mét c«ng thøc bËc nhÊt chøa nhiÒu nhÊt mét literal 
d­¬ng. Cã ba d¹ng mÖnh ®Ò Horn:
­MÖnh ®Ò ®¬n vÞ (cßn gäi lµ c¸c sù kiÖn­fact)  p 

­§Ých  (goal)  lµ  mét  mÖnh  ®Ò  mµ  chØ  chøa  mét  hoÆc  nhiÒu  literal 
©m vµ kh«ng cã literal d­¬ng. 

 q
1
 

 q
2
 

...

q
n
­Quy t¾c lµ mét c«ng thøc bËc nhÊt cã ®óng mét literal d­¬ng vµ mét 
hoÆc nhiÒu literal ©m.


 q
1
 

 q
2
 

...

q
n
Ng÷ nghÜa cña quy t¾c nµy lµ: nÕu  q
1
 q
2
 ... q
n
 ®Òu lµ true th× p true. 
p lµ ®Çu cña quy t¾c, q
1
 

 q
2
 

...

q

lµ th©n cña quy t¾c
§Þnh nghÜa 1.1.5   (Ch­¬ng tr×nh Datalog)
Mét ch­¬ng tr×nh Datalog lµ mét tËp h÷u h¹n c¸c mÖnh ®Ò Horn tháa 
m·n ba ®iÒu kiÖn sau:
Một chương trình datalog thường nhận dữ liệu vào là những quan hệ đối với vị từ EDB và trả lời là những quan hệ đối với vị từ IDB. Quy trình tối ưu hóa yêu cầu
Dành riêng cho anh em Ketnooi, bác nào cần download miễn phí bản đầy đủ thì trả lời topic này, Nhóm Mods sẽ gửi tài liệu cho bạn qua hòm tin nhắn nhé.
- Bạn nào có tài liệu gì hay thì up lên đây chia sẻ cùng anh em.
- Ai cần tài liệu gì mà không tìm thấy ở forum, thì đăng yêu cầu down tại đây nhé:
Nhận download tài liệu miễn phí
 

Kiến thức bôn ba

Các chủ đề có liên quan khác
Tạo bởi Tiêu đề Blog Lượt trả lời Ngày
D So Sánh Vấn Đề Đọc Hiểu Văn Bản Trong Chương Trình Giáo Dục Phổ Thông Môn Ngữ Văn Của Việt Nam Văn học 0
D tài liệu thí nghiệm thực hành trường thpt môn sinh học chương trình phát triển giáo dục trung học Luận văn Sư phạm 0
D Xây dựng chương trình quản lý chất lượng theo haccp cho sản phẩm pa tê thịt heo Nông Lâm Thủy sản 0
D Tìm hiểu và xây dựng chương trình HACCP cho sản phẩm tôm đông lạnh xuất khẩu Nông Lâm Thủy sản 0
D tìm hiểu kiến thức sự trao đổi chất và năng lượng ở sinh vật trong chương trình môn khoa học ở tiểu học Văn học 0
D PHÂN TÍCH CHƯƠNG TRÌNH IMC của bột GIẶT OMO và PHÁC THẢO CHƯƠNG TRÌNH IMC Luận văn Kinh tế 0
D phân tích chương trình sgk tiếng việt lớp 1 Luận văn Sư phạm 0
D kinh nghiệm dạy học môn âm nhạc phát triển năng lực cho học sinh tiểu học đáp ứng mục tiêu chương trình gdpt 2018 Luận văn Sư phạm 0
D Sự hình thành khái niệm phản ứng hóa học trong chương trình hóa học phổ thông Luận văn Sư phạm 0
D vận dụng năng lực số vào dạy học văn chính luận trong chương trình ngữ văn thpt nhằm phát triển năng lực học sinh Luận văn Sư phạm 0

Các chủ đề có liên quan khác

Top