An embedded database management system