Welcome to the MARS Demo website!

The demo focuses on the chase of relational queries and constraints, in which the only logical connector allowed is the conjunction. Nevertheless, the last version of MARS supports disjunction also. The interface allows to visualize the individual steps of a chase sequence and to navigate through them, showing each time how the chosen constraint was mapped into the query and how the query was modified, leading to a new query plan.

We demo three features:

• the chase algorithm
• the rewrite using views algorithm
• the minimization algorithm