Implementing a Logic System for testing functional independent normal form in relational databases | IEEE Conference Publication | IEEE Xplore