Implementing a logic system for testing functional independent normal form in relational databases - Orehovački, Tihomir (Array, 2011)