A model of authorization for next-generation database systems | Synapse