Implementation of integrity constraints and views by query modification | Synapse