1. Alotaibi, R.B.M.: Semantic Optimizations in Modern Hybrid Stores. Ph.D. thesis, University of California, San Diego (2022)
2. Dixon, J.: Pentaho, hadoop, and data lakes - james dixon’s blog (2010)
3. Dybjer, P., Palmgren, E.: Intuitionistic type theory. In: Zalta, E.N., Nodelman, U. (eds.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Spring 2023 edn. (2023)
4. Farid, M., Roatis, A., Ilyas, I.F., Hoffmann, H.F., Chu, X.: Clams: bringing quality to data lakes. In: International Conference on Management of Data, SIGMOD 2016, pp. 2089–2092 (2016)
5. Gillet, A., Leclercq, E., Savonnet, M., Cullot, N.: Empowering big data analytics with polystore and strongly typed functional queries. In: International Database Engineering & Applications Symposium, IDEAS 2020, pp. 1–10 (2020)