RIDL*: a tool for the computer-assisted engineering of large databases in the presence of integrity constraints