Implement the inverse index procedures.