Proceedings of the 1st Workshop on Verifiable Database Systems