Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality

Open in new window