Verification of relational data-centric dynamic systems with external services

    symposium on principles of database systems, Volume abs/1203.0024, 2013, Pages 163-174.

    Cited by: 158|Bibtex|Views19|Links
    EI
    Keywords:
    fresh datarelational data-centric dynamic systemnovel notionmu-calculus variantdata-centric dynamic systemMore(7+)

    Abstract:

    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

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments