Inheritance as Incremental Modification

\comment{See  [WZ88].} \sli{

Inheritance

-- incremental modification mechanism Example: R = { a1, a2 } + { a2, a3 } = { a1, a2, a3 } \nl Independent attributes: M disjoint from P\n Overlapping attributes: M overrules P \nop{

Inheritance is incremental modification\n

Modifiability -- (constraints) \n Granularity -- (classes, entities, attributes) \n Multiplicity -- (multiple inheritance) \n Quality -- (specifications or code) } } \sli{

Self-reference

Dynamic binding

Attributes

[] In a world without self-reference inheritance reduces to invocation ! \n }