Relational Calculus for Actionable Knowledge