If I want to have an index on oid, which will obviously be uniqueanyway, is it more efficient to have or not to have the UNIQUE option onCREATE INDEX ?