1. Borders of Decidability in Verification of Data-Centric Dynamic Systems Babak Bagheri Hariri, Diego Calvanese, Marco Montali1 , Alin Deutsch2 , Giuseppe De Giacomo3 KRDB…
