15
Datalog Semantics
•
Simultaneous least fixpoints:
•
•
Given a program P, define the operators F
P
as follows:
•
•
F
P
(R
1
, …, R
m
) = (
f
1
, …,
f
m
)
•
Next, take the
lfp
(F
P
)