Seol mar théacs é seo: Efficient computation and maintenance of datalog materialisations