Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints