The 5G network specification requires ACID properties (Atomicity, Consistency, Isolation, Durability) for its distributed database. According to the CAP theorem, these properties are incompatible with high availability for a geo-distributed system. Since availability is an obligation for mobile networks, this contradiction challenges the specification.
Our thesis focus on a study of the usage of data in the network that allow us to extract weaker consistency properties that are still sufficient to maintain the correctness of the data.
In the case a Network Slicing, an innovation of the 5G network, we propose to study further the enforcement of one of these properties, through the example of the enforcement of a global limit on the resource usage of a slice.
Slices are deployed over a potentially large area, and so is their data, which make the enforcement of a limit more challenging. We propose several algorithms placed at different points of the consistency spectrum and study their performance in a simulation of the 5G network.