DataKiosk: A database interface tool.