Amadeus interview question

What is formalization? What are the different normal forms?