I have a class named Sale
public class Sale
{
    public int Id { get; set; }
    public string TrNo { get; set; }
    public DateTime Date { get; set; }
    public int CustomerID { get; set; }
    public ObservableCollection<SaleDetail> SaleDetails { get; set; }
}
And in the database, I want the Id as the Auto Increment column and the TrNo as the Primary Key column.
Please tell me how to do this using EF5 code first.
Thanks.