A Data Abstraction Language with targets for some popular databases.