Optimised Storage for Datalog Reasoning