Tobias Schüler, Stephan Mennicke, and Malte Lochau. Abstract domains for database manipulating processes. 2023. [PUMA: Abstract database domains manipulating processes]