A basis for compositionally ensuring safety properties and its connection to relational algebraic operators

•We introduce an approach to reduce inducers of cooperating systems.•The approach can be applied in polynomial time in the number of subsystems.•Discussion of the preciseness of our approach.•Presentation of results of our reduction operator on parameterized examples.•We show a connection to the field of relational algebra.

In this paper we report about an approach to establish safety properties of cooperating systems in polynomial time, the state space of which can be exponentially large in the number of cooperating subsystems. It consists of constructing a family of so-called inducers of a system and the reduction of these by an operator we call Edge-Match. Furthermore, we draw a connection between our approach and the theory of relational databases. Aside from pointing out an interesting connection between these fields we use this connection to apply results from the theory of relational databases to our approach.