Add query execution functionalities.
Add the code to handle db-transactions and enclose the computation into a unique transaction.
Create and execute a query plan according to the topological order of the SCCs of the depgraph.