Normalvormen

Normalvormen zijn gestandaardiseerde representaties van uitdrukkingen of gegevens die ontworpen zijn om het redeneren, controleren of opslaan te vereenvoudigen. Het idee achter normalisatie is dat verschillende vormen van hetzelfde object op een consistente manier kunnen worden behandeld, wat de verwerking vergemakkelijkt en foutkansen vermindert.

In logica en computerwetenschappen verwijst men naar verschillende normale vormen. Negatie normale vorm (NNF) beperkt de negaties tot enkel voor atomaire proposities. Conjunctieve normale vorm (CNF) is een samenstelling van clausules die bestaan uit disjuncties van literaalen, verbonden door en. Disjunctieve normale vorm (DNF) is een disjunctie van conjuncties van literaalen. Prenex normale vorm ordent quantificaties buiten de matrix van een formule. In functionele talen en lambda-calculus spreekt men ook van normale vormen, zoals de beta-normale vorm, waarbij een uitdrukking niet verder kan worden gereduceerd.

In databases en dataorganisatie verwijst normalisatie naar normalvormen zoals 1NF, 2NF, 3NF en BCNF. Deze vormen streven naar minimale redundantie en afhankelijkheden tussen attributen door gegevens op te splitsen in relaties met duidelijke sleutelafhankelijkheden. Het doel is om anomalieën bij insertie, update en delete te voorkomen en de integriteit te behouden.

Voordelen van normalvormen zijn onder meer eenduidige representaties, verbeterde automatisering en betere prestaties bij bepaalde bewerkingen. Nadelen kunnen bestaan uit mogelijke toename in formaat of complexiteit en, afhankelijk van de context, extra verwerkingstijd om tot de gewenste normale vorm te komen. Normalisatie is daarmee een fundamenteel concept in logica, programmering en databeheer.