Abstract Domains for Database Manipulating Processes

Tobias Schüler, Stephan Mennicke, Malte Lochau

Database manipulating systems (DMS) formalize operations on relational databases like adding new tuples or deleting existing ones. To ensure sufficient expressiveness for capturing…