Database Skeleton andItsApplication toLogical Database Synthesis