Increasing Concurrency in Databases Using Program Analysis