2740390995

Datalog

o Ponieważ reguły Datalogu, podobnie jak klauzule, odpowiadają implikacjom z logiki, posiadają one zarówno interpretację logiczną jak i proceduralną.

9 Na przykład regule

Dziadek(?x,?z) <- O jciec(?x,?y) AND Ojciec(?y,?z)

odpowiada implikacja

(Vx,y, z) Ojciec(x, y) A Ojciecjy, z) —> Dziadek(x,z)

9 Jeśli reguła nie zawiera poprzedników, to jej następnik jest zawsze spełniony.

9 Podobnie jak fakty, reguły przechowuje się także w bazie danych.

Zbigniew Jurkiewicz, Instytut Informatyki UW Dedukcyjne bazy danych i rekursja Wykłćld Z bclZ dHIT