Ordered_key–value_store