Analyzing Datalog Evaluation over Semirings: A Grounding-based Approach

Datalog evaluation complexity and efficiency are improved through grounding analysis.