Teodoro Baldazzi, Luigi Bellomarini, Emanuel Sallinger, Paolo Atzeni. Reasoning in Warded Datalog+/- with Harmful Joins. In Giuseppe Amato, Valentina Bartalesi, Devis Bianchini, Claudio Gennaro, Riccardo Torlone, editors, Proceedings of the 30th Italian Symposium on Advanced Database Systems, SEBD 2022, Tirrenia (PI), Italy, June 19-22, 2022. Volume 3194 of CEUR Workshop Proceedings, pages 292-299, CEUR-WS.org, 2022. [doi]
Abstract is missing.