endliche Struktur < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Die Studierenden, die an der Vorlesung „Vortäuschung von Kompetenz II“ teilnehmen, werden in einer Datenbank verwaltet. Dabei wird in einer Tabelle S zu allen Studierenden jeweils der Name und die Matrikelnummer gespeichert, sowie die Anzahl der Vorlesungstermine im aktuellen Semester, in denen aus Richtung der Person ein Windows-Startton zu hören war. In einer Tabelle U wird zu jedem Übungsblatt pro Matrikelnummer gespeichert, wie viele Punkte die Person in der Übung erreicht hat und wie oft sie im dazugehörigen Tutorium über die Witze
des Assistenten gelacht hat.
(a)Formalisieren Sie den folgenden Zustand der Datenbank gemäß der Definition im Skript als
endliche Struktur:
•Anton hat die Matrikelnummer 12345 und man hat bereits 17 mal den Windows-Startton aus seiner Richtung gehört. In der ersten Übung hat er 23 Punkte erreicht und 5 mal über Witze des Assistenten gelacht.
•Barbara hat die Matrikelnummer 42350 und man hat nie den Windows-Startton aus ihrer Richtung gehört. In der ersten Übung hat sie 30 Punkte erreicht und hat einmal über einen Witz des Assistenten gelacht |
Hallo,
ich sitze gerade an dieser Teilaufgabe und weiß leider nicht, wie ich die endliche Struktur aufschreiben soll.
Für die erste Tabelle:
Ich muss die endliche Substruktur ja so angeben: (ad(D), [mm] S_{1}, S_{2}, S_{3}), [/mm] ad(D) stellt dabei die aktive Domäne (also den Tupel mit dem Anton???) und S beschreibt die Relation zu dieser Tabelle.
Ich weiß nicht wie ich es aufschreiben soll. Könnt Ihr vielleicht mir das zu Anton aufschreiben und ich probiere es zu Barbara?
MfG blubblub
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Do 22.05.2014 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
