Modelling Theory and Practice/Overview and Trivial Cases

From Wikibooks, open books for an open world
Jump to navigation Jump to search

The Notion of a Property of something[edit | edit source]

Property: separate sheep from goats -> look for property.

We write R(x) for an element x having property R.

Properties can be used to define sets. (intensional definition)

Set can also be defined by specifying every of its objects. (extensional definition)

Overview of Relations[edit | edit source]

'Relation' among objects, e.g. person drives car, formally written: Drives(person, car), Drives(Walter, Mini)

Notations: table, matrix, graph, ...

Binary relation: R(x, y), e.g. ...

N-ary relation: R(x1, x2, x3, ..., xn), e.g. ...

Property = unary relation R(x).

Structure of this chapter:

  • Trivial Cases: R(x)
  • Modelling with Concepts: R(x), S(y), T(z)
  • Modelling with Modules: R(x, y, z)

Where concepts and modules are the basic approaches to handle complexity in the two directions.

Moreover, the directions of course can be combined. This is analysed in the next chapter.

Not covered: Soft relations, ...