4 citations · 12 across the 7 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2012★ 2 cited
Verification of Relational Data-Centric Dynamic Systems with External Services
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo +2
Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. In this paper we study verification of (f…
cs.DB2010★ 3 cited
View Synthesis from Schema Mappings
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini +1
In data management, and in particular in data integration, data exchange, query optimization, and data privacy, the notion of view plays a central role. In several contexts, such a…