30 citations · 32 across the 3 of their papers we have counts for
Showing cs.DBShow all
2 papers · 1 filter
cs.DB2014★ 30 cited
Verifiable UML Artifact-Centric Business Process Models (Extended Version)
Diego Calvanese, Marco Montali, Montserrat Estanol +1
Artifact-centric business process models have gained increasing momentum recently due to their ability to combine structural (i.e., data related) with dynamical (i.e., process rela…
cs.DB2003
On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems
Ernest Teniente, Toni Urpi
We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking, integrity constraint mai…