Trends for the formal data management function.