We develop the theory of Segal algebras of commutative C * -algebras, with an emphasis on the functional representation. Our main results extend the Gelfand-Naimark Theorem. As an application, we describe faithful principal ideals of C * -algebras.A key ingredient in our approach is the use of Nachbin algebras to generalize the Gelfand representation theory.2010 Mathematics Subject Classification: 46J10, 46J25, 46J30.