D120.de/forum

I will send you a private message. Counting you in that makes 4 of us.

Hey,

I somehow thought Labs start a week later so I'm late now. Is there still anyone interested in a group or is there a group with less than 5 members? I'd be happy to work with some of you.

Edit: I now found a second member during the exercise today

Zitat Vorlesungsfolien (01 - Datenbanken, Seite 185):

Felder, die als PRIMARY KEY dienen müssen NOT NULL sein

Daher sollte das Feld ID im ersten Beispiel falsch sein, oder nicht?

Ich war nie da, aber es gab immer einen Termin für das Tutorium. Das ist sozusagen eine zusätzliche Veranstaltung, neben der Übung, um Fragen zu stellen und den Stoff noch mal zu wiederholen.

Ich glaube, dass wenn "Komplexität" gefordert ist, immer die Min-Max-Notation benutzt werden soll, und wenn "Kardinalität" gefordert ist, die Chen-Notation benutzt werden soll. Das schien zumindest konsistent mit den Übungen zu sein, als ich nachgeguckt hatte, nachdem ich mir die gleiche Frage geste...

- bitte löschen/ignorieren -

Hallo, ich frage mich gerade, ob Themen, die nur in der Übung vorkamen und nicht in den Vorlesungsfolien auftauchen (bzw auch nicht in der Vorlesung besprochen/angesprochen wurden), klausurrelevant sind? Beispiel 1: Übung 4, Aufgabe 2 (formales Modell für ein Web of Trust) Beispiel 2: Übung 5, Aufga...

Danke für die Antworten

Hallo, Wikipedia meint, dass bei den Normalformen nicht nur der Primärschlüssel betrachtet werden muss, sondern jeder Schlüsselkandidat. Beispielhafter Auszug aus Wikipedia: Eine Relation ist in der zweiten Normalform, wenn die erste Normalform vorliegt und kein Nichtschlüsselattribut funktional abh...

Partial Correctness bedeutet, dass man zeigt, dass die Schleife korrekt ist, aber keine Aussage darüber macht, ob die Schleife terminiert. Also man zeigt: Wenn es terminiert, ist es korrekt. Total Correcctness heißt, dass man zeigt, dass die Schleife korrekt ist, also das berechnet, was man will, un...

Ja, das wurde definitiv so gesagt, daran erinnere ich mich auch noch

Kann man davon ausgehen, dass das Schema der beiden Probeklausuren für die Klausur am Montag beibehalten wird?
Oder muss man damit rechnen, dass unter Umständen komplett abweichende Aufgaben gestellt werden?

Hallo, reicht in der Lösung nicht einfach nur das /*@ public invariant getEnd() >= getStart(); @*/ ? Warum wird spec_public für die privaten Variablen benutzt? Es wird doch auf die public Getter-Methoden zugegriffen. Warum werden die Getter-Methoden als pure deklariert? Beides ist denke ich sinnvoll...

Zwei kurze Fragen dazu, wie wir das Sequenzenkalkül in der Klausur ausführen sollen. 1) Dürfen wir wie zB in der Musterlösung zu Exam 1 Aufgabe 5 schreiben, dass der andere Branch nach dem gleichen Schema lösbar/schließbar ist, außer dass man eine andere Konstante bei der allRight Regel nutzen muss?...

In Modul 10, Folie 13 geht es um etwas komplett anderes (Konkatenation), in Modul 12 Folie 6 geht es um generell um Präfixe und danach, dass Spuren für Prozesse unter Präfixbildung abgeschlossen sind. Das sind aber nicht die Spuren von Transitionssystemen, sondern es geht ja wie gesagt um Prozesse. ...