[lackbeard]

Yes, he means what you are calling sharding.

Back in 2004 or 2005 when I first learned about "sharding" it was introduced to me as partitioning.