It is based on the formalisation of EX:
- Let be the number of samples
- Let be a dataset containing samples of questions, their database schema with their respective queries.
- Let be a prediction of the queries using
- Let be a database against which the queries will be executed.
- Let be the execution function, which executes a query on a database and return a response and its execution time