hopefully-final database definitions