Solving for constraints and inverting queries i.e. from query -> data with filtering and all that.