Towards a logical reconstruction of a theory for locally closed databases