Amadeus Interview Question

What is formalization? What are the different normal forms?