Datalog evaluation complexity and grounding optimization.
Datalog evaluation complexity and efficiency are improved through grounding analysis.