Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori 0001. Reasoning with Constraints in Database Models. In Diego Calvanese, Claudia Diamantini, Guglielmo Faggioli, Nicola Ferro 0001, Stefano Marchesin 0001, Gianmaria Silvello, Letizia Tanca, editors, Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano Terme, Italy, July 2nd to 5th, 2023. Volume 3478 of CEUR Workshop Proceedings, pages 11-12, CEUR-WS.org, 2023. [doi]
Abstract is missing.