Efficient Computation And Maintenance Of Datalog Materialisations