Minimal-change integrity maintenance using tuple deletions | Synapse