Mnesia User Properties - is there a way to update the properties after a table has been created?

vances · April 10, 2023, 8:47am

We found the mnesia:create_option() {user_properties, proplists:proplist()} useful for identifying tables which were dynamically created by our application.

Is there really no way to update the properties after a table has been created?

uwiger · April 10, 2023, 10:01am

There is, using the undocumented mnesia_schema API.

See e.g.

github.com

aeternity/mnesia_rocksdb/blob/master/src/mnesia_rocksdb_admin.erl#L956-L963


      
                  mnesia_schema:schema_transaction(
                    fun() ->
                            [mnesia_schema:do_write_table_property(T, P)
                             || P <- WritePs],
                            [mnesia_schema:do_delete_table_property(T, K)
                             || K <- DelPs]
                    end)
          end;