Teradata appoints John Ederer as chief financial officer