Slide 4.44: typo?

Benutzeravatar
felicis
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 114
Registriert: 14. Apr 2015 20:25

Slide 4.44: typo?

Beitrag von felicis » 10. Mai 2016 18:20

Hi,

while summarizing the slides I notices something weird on slide 4.44:
it is (existentially) quantified over \(A^* \subseteq SUBJECTS \times OBJECTS \times ATTRIBS\) (after having quantified over \(S*\) and \(O*\)), even though we always defined \(A \subseteq S \times O \times ATTRIBS\) (not SUBJECTS or OBJECTS)!?
How should I get this? I mean, it is still correct in the sense, that it doesn't lead to incorrect results, but it is confusing to see the supersets being used!

Best and thanks
fe

EDIT: found a really small typo: in \(A^* \subseteq SUBJECTS \times OBJECTS \times ATTRIBS\) Objects is misspelled!

Markus Tasch
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 124
Registriert: 11. Sep 2015 10:57

Re: Slide 4.44: typo?

Beitrag von Markus Tasch » 11. Mai 2016 16:45

I will update the slides as soon as possible (i.e. tomorrow) and publish v1.1 of Module04 removing the inconsistency (and typo). Thanks for pointing that out.
Markus Tasch, M.Sc.
Modeling and Analysis of Information Systems
Department of Computer Science, TU Darmstadt
http://www.mais.informatik.tu-darmstadt.de

Antworten

Zurück zu „Archiv“