Modeling database transaction histories with Alloy - View it on GitHub