Empowering a Relational Database with LSD: Lazy State Determination