对于option的tick data， symbol都是symbolStrikeMaturity这样排列，比如ABC88.1U9，ABC是symbol， 88.1是strike， U9是maturity。 总共103个symbol，都是3个字母的，以后交易所可能会有增减（比如小米一上市，就会有期权），在DolphinDB database中分布式数据库应该用什么分区类型好？数据大小，csv文件10个level的话，每天大概在8-16G左右。平时查询时用3个字母查询。现在有两种想法：1）将名字分开，变为ABC，88.1，U9三部分，分别存储。分区想用头3个字母分区。2）留住全名，分区也用3个字母分区。有什么建议吗？
可以用值分区，这样增加期权也不需要修改分区。值分区可以用参数配置自动扩展：newValuePartitionPolicy=add，这样有新的symbol进来，系统会自行增加分区。
