我添加了postgis_topology扩展,它将拓扑模式添加到我的数据库中。但是,我的根用户没有足够的权限在AWS RDS实例中使用该模式中的函数。拓扑模式是使用以下内容创建的(如pgAdmin中所示): AUTHORIZATION rdsadmin;GRANT ALL ON ALL FUNCTIONS IN SCHEMA topology TO my_root_
Record Topology : Type := mkTopology Open: Ensemble (Ensemble PointDefinition Closed (T: Topology) := forall C: (Ensemble (Point T)), In (Open T) (Complement C).: (Ensemble P), (In F x) -> (In closed x)) -> (In closed (FamilyIntersection F