70 citations · 114 across the 20 of their papers we have counts for
3 papers · 1 filter
Fixpoint Node Selection Query Languages for Trees
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini +1
The study of node selection query languages for (finite) trees has been a major topic in the recent research on query languages for Web documents. On one hand, there has been an ex…
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…
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…