What I don't think is well documented enough is that if you declare a column

index=True

that's a contract stating that when you implement the table, you'll implement an optimized path if that particular column is constrained (as far as I understand)