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, nhng cã thÓ kh«ng t¬ng ®¬ng ®ång d¹ng.
B. Néi dung
I. KiÕn thøc c¬ së
1.1Nh÷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Önfact) 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.
p
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
n
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í
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, nhng cã thÓ kh«ng t¬ng ®¬ng ®ång d¹ng.
B. Néi dung
I. KiÕn thøc c¬ së
1.1Nh÷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Önfact) 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.
p
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
n
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í