Definition of records