I think it should be proved only by theory. Because our goal is to construct and analysis a model to test the assumption of fingureprint.
Without the fingureprint's database we only do it by theory. In another word, I think if you use some database then you will do a relastical system to do AIFM.
MCM declares us to construct and analysis a model. This is basic.