2018 18th International Conference on Application of Concurrency to System Design (ACSD) (2018)
Jun 25, 2018 to Jun 29, 2018
A formal model called database manipulating systems was introduced to model data-aware dynamic systems. Its semantics is given by an infinite labelled transition systems where a label can be an unbounded relational database. Reachability problem is undecidable over schemas consisting of either a binary relation or two unary relations. We study the reachability problem under schema restrictions and restrictions on the query language. We provide tight complexity bounds for different combinations of schema and query language, by reductions to/from standard formalism of infinite state systems such as Petri nets and counter systems. Our reductions throw light into the connections between these two seemingly unrelated models.
computational complexity, formal specification, formal verification, Petri nets, query languages, reachability analysis, relational databases
P. A. Abdulla, C. Aiswarya, M. F. Atig, M. Montali and O. Rezine, "Complexity of Reachability for Data-Aware Dynamic Systems," 2018 18th International Conference on Application of Concurrency to System Design (ACSD), Bratislava, Slovakia, 2018, pp. 11-20.