Implementation and proof for normalization design of object-oriented data schemes | IEEE Conference Publication | IEEE Xplore