Christiane Engels, Andreas Behrend, Stefan Brass: A Declarative Approach to Analyzing Schema Objects and Functional Dependencies. ADBIS (Short Papers and Workshops) 2017: 73-81