Microsoft to boost SQL scale after DATAllegro buy