Exercise 3.2

  • ad b) Einfach eine Domäne festlegen, einen unären Constraint bestimmen, dann die Domäne so ändern dass der Constraint obsolet wird, und fertig, der Constraint kann eliminiert werden.
    Oder übersehe ich hier etwas? Mir erscheint das irgendwie viel zu simpel zu sein...

  • Wenn du willst, schick mir eine PM (oder komm morgen/übermorgen in die Tutorsprechstunde). Aber möglich ist es, dass es so stimmt. Meist sind die Lösungen recht simpel, wenn man Plan hat, wie mans machen soll ^^