Du solltest dich mal in das Thema einlesen, was diese NFs eigentlich sind. Dann wird dir sofort klar: Ein solches Programm gibt es nicht, weil es so ein Programm nicht geben kann. Die NFs sind keine Algorithmen sondern Definitionen zur Überprüfung, ob ein gewisser Zustand vorliegt. Um das zu überprüfen, müsste man zunächst die komplette Semantik des Schemas und des Sachzusammenhangs verstehen. Ein Programm, das alle Sachzusammenhänge der Welt kennt, kann keiner programmieren, gerade wenn nur das Schema vorliegt. Wenn dazu eine sehr große Menge an Datensätzen vorliegt, kann man u.U. sehr gewagte Vermutungen anstellen, mehr aber auch nicht.
tl;dr: Technisch-semantisch nicht möglich.
Ja, das ist so exakt korrekt und deshalb rätseln wir ja, wie es so eine Aufgabenstellung geben kann.
Abgesehen davon ist mir das Thema hinlänglich bekannt, habe ein paar Jahrzehnte damit meinen Lebensunterhalt verdient
