An interactive database shell