Henning Köhler Finding Faithful Boyce-Codd Normal Form Decompositions. 102-113 2006 conf/aaim/2006 AAIM http://dx.doi.org/10.1007/11775096_11 db/conf/aaim/aaim2006.html#Koehler06