Bossé, Éloi: Relational Calculus for Actionable Knowledge