如何确保分布式数据库设计中的分段原则“手工”检查! 例如,F1 = loc=‘Sa’ E ; F2 =  loc=‘Sb’ E生成具有满足分段原则的限定谓词