implementation of a compiler for a semantic data model : experiences with taxis b nix , l chung , d lauzon , a borgida , j mylopoulos ,
proc . acm sigmod conf . on management of data , u. dayal , i. & hellip ; ,