If I have a table with the following primary key:
PRIMARY KEY (id)
And I want to query documents written by someone (e.g. display a preview of the latest 20), sorted by their "id", so I created an index:
INDEX from_id (from, id)
Is the "id" at the end of this index redundant because it ends with the primary key?
If yes, why?