Verification of relational data-centric dynamic systems with external services
symposium on principles of database systems, Volume abs/1203.0024, 2013, Pages 163-174.
fresh datarelational data-centric dynamic systemnovel notionmu-calculus variantdata-centric dynamic systemMore(7+)
Data-centric dynamic systems are systems where both the process controlling the dynamics and the manipulation of data are equally central. We study verification of (first-order) mu-calculus variants over relational data-centric dynamic systems, where data are maintained in a relational database, and the process is described in terms of at...More
Full Text (Upload PDF)