Inheritance -- incremental modification

  • Result = Parent + Modifier
Example: R = { a1, a2 } + { a2, a3 } = { a1, a2, a3 } \nl Independent attributes: M disjoint from P\n Overlapping attributes: M overrules P

Dynamic binding

  • R = {...,P_i: self ! A,...} + { ...,M_j: self ! B, ... }

slide: Inheritance as incremental modification