1.Queries in general-purposeprogramming languages2. LanguagesTheory Relational algebra Monads and comprehensionsHaskell and Links Monad comprehensions Comprehensions…