Reasoning Formally About Database Queries and Updates.

Jon Hal Brenas, Rachid Echahed, Martin Strecker

Browse the full FM paper archive.