Relational database reverse engineering: a model-centric, transformational, interactive approach formalized in model theory | IEEE Conference Publication | IEEE Xplore