More on designations

• Writing designations can help clarify your thinking

  • c is a customer Customer(c)
  • e is an employee Employee(e)

• Is the time period material?

  • c is a customer in v Customer(c,v)
  • e is an employee in v Employee(e,v)

• Can an employee be a customer?

  • Ø$ v,x · (Customer(x,v) Ù Employee(x,v))

Previous slide

Next slide

Back to first slide

View graphic version