A logical account of uncertain databases based on linear logic