{"type":"ScholarlyArticle","title":"Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality","authors":[{"name":"Boris Motik","slug":"boris-motik","given":"Boris","family":"Motik","affiliation":""},{"name":"Yavor Nenov","slug":"yavor-nenov","given":"Yavor","family":"Nenov","affiliation":""},{"name":"Robert Piro","slug":"robert-piro","given":"Robert","family":"Piro","affiliation":""},{"name":"Ian Horrocks","slug":"ian-horrocks","given":"Ian","family":"Horrocks","affiliation":""}],"abstract":"Materialisation precomputes all consequences of a set of facts and a datalog program so that queries can be evaluated directly (i.e., independently from the program). Rewriting optimises materialisation for datalog programs with equality by replacing all equal constants with a single representative; and incremental maintenance algorithms can efficiently update a materialisation for small changes in the input facts. Both techniques are critical to practical applicability of datalog systems; however, we are unaware of an approach that combines rewriting and incremental maintenance. In this paper we present the first such combination, and we show empirically that it can speed up updates by several orders of magnitude compared to using either rewriting or incremental maintenance in isolation.","doi":null,"url":"https://ijcai.org/proceedings/2015/441","pdf":"https://ijcai.org/proceedings/2015/0441.pdf","markdown":"https://ijcai.org/proceedings/2015/441.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/441","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Special Track on Knowledge Representation and Reasoning","track":"Special Track on Knowledge Representation and Reasoning","number":441,"pages":{"first":3127,"last":3132},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}