Daten verwalten (2)Daten verwalten (2) Logische Verknüpfungen als Grundlage für die Informationsgewinnung Werte von Aussagen: Wahrheitstabellen Grafische vs. formale Darstellung von Abfragen Boolesche Algebra Agenda für heute, 28. April 2010

Das heutige Thema im Kontext des Informationsarbeitsplatzes 2/27

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Daten verwalten (2): Drei Stufen der Datenverwaltung 3/27 Daten organisieren Daten speichern Daten wieder gewinnen Daten reorganisieren AnwendungInformatik Entity-Relationship-Modell Datenbanken Daten austauschen Daten umformen Abfragen (z.B. mit SQL) Logische Verknüpfungen Datenformate Standards

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Daten organisieren, Daten Speichern Restrukturieren Ursprüngliche Information Verwaltbare Information Metadaten werden zu Daten Jede Zelle ein Datentyp 4/27 NameCH-CodeNährstoffMengeEinheitHauptkomp. Aprikose Eisen0.4mgja Aprikose Protein0.8gja Aprikose Wasser86.79gja Bürli Z.2Kohlehydrate48.8gja Bürli Z.2Kalium160mgja Bürli Z.2Wasser39.6gja Metadaten NameCH-CodeWasserKohlehyd.EisenProteinKaliumHauptkomp. Aprikose g12.1 g0.4 mg0.8 g315 mgja Bürli Z g48.8 g2.0 mg8.6 g160 mgja Daten NameCH-CodeWasserKohlehyd.EisenProteinKaliumHauptkomp. Aprikose g12.1 g0.4 mg0.8 g315 mgja Bürli Z g48.8 g2.0 mg8.6 g160 mgja

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Daten organisieren, Daten speichern: Relationale Datenbank Normalisieren Relationale Operatoren (Select, Project, Join) Ursprüngliche Information Relationen Umstrukturierte Information 5/27 NameNährstoffMenge BürliKohlehydrate48.8 BürliWasser39.6 NameCH-CodeNährstoffMengeEinheitHauptkomp. Aprikose Eisen0.4mgja Bürli Z.2Kohlehydrate48.8gja Bürli Z.2Kalium160mgja NameCH-CodeNährstoff_idMenge Aprikose Aprikose Bürli Z Bürli Z Nährstoff_idNährstoffEinheitHauptkomp. 57Eisenmgja 180Wassergja 84Kohlehyd.gja 330Kaliummgja

Daten verwalten (2) Logische Verknüpfungen als Grundlage für die InformationsgewinnungLogische Verknüpfungen als Grundlage für die Informationsgewinnung Werte von Aussagen: Wahrheitstabellen Grafische vs. formale Darstellung von Abfragen Boolesche Algebra

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Wiedergewinnen von Information mittels Aussagenlogik Welche Nahrungsmittel enthalten weniger als 2 mg Eisen? Name in Nahrungsmittel mit Nährstoff = Eisen und Menge < 2 6/27 Aussage ausgewertet mit Tupel einer Datenbank wahr (z.B. 1.7 mg Eisen) Datenbankabfrage falsch (z.B. 3.4 mg Eisen) (z.B. 1.7 mg Kalzium)

Elemente der Aussagenlogik Eine Aussage hat einen Wahrheitswert ("wahr", "falsch") Aussagen können aus Teilaussagen zusammengesetzt sein Nährstoff = Eisen und Menge < 2 Diese Teilaussagen sind durch logische Operatoren verknüpft Nährstoff = Eisen and Menge < 2 Der Wahrheitswert einer zusammengesetzten Aussage ist vollständig durch die Wahrheitswerte der Teilaussagen und die Art der Verknüpfung gegeben. Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich 7/27

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Logische Operatoren p und q sind Teilaussagen (logische Operanden) z.B. p steht für: Nährstoff = Eisen q steht für: Menge < 2 Konjunktion: "sowohl p als auch q" p and q Disjunktion: "entweder p oder q" p or q Negation: "nicht p" not p UND ODER NICHT 8/27

Daten verwalten (2) Logische Verknüpfungen als Grundlage für die Informationsgewinnung Werte von Aussagen: WahrheitstabellenWerte von Aussagen: Wahrheitstabellen Grafische vs. formale Darstellung von Abfragen Boolesche Algebra

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Werte von Aussagen: Wahrheitstabellen Logische Verknüpfungen anschaulich spezifizieren Für jede mögliche Kombination von Wahrheitswerten wird das Resultat der Verküpfung aufgelistet 9/27 pqVerknüpfung von p mit q wwx wfx fwx ffx w = wahr, f = falsch

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Wahrheitstabelle für die Konjunktion Die erste Zeile ist eine Kurzform für: "Falls p wahr ist und q wahr ist, dann ist p and q wahr Für alle Zeilen: wenn p dann q sonst falsch Symbole: und, and,, 10/27 pq p and q www wff fwf fff

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Wahrheitstabelle für die Disjunktion Beachte: p or q ist nur dann falsch wenn beide Teilaussagen falsch sind Für alle: wenn p dann wahr sonst q Symbole: oder, or, +, 11/27 pq p or q www wfw fww fff

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Beispiele Eisen ist magnetisch and Gold ist gelb ist wahr 12/27 Eisen ist magnetisch and Gold ist magnetisch ist falsch Eisen ist magnetisch or Gold ist gelb ist wahr Eisen ist magnetisch or Gold ist magnetisch ist wahr Eisen ist gelb or Gold ist magnetisch ist falsch wahr and wahr wahr and falsch wahr or wahr wahr or falsch falsch or falsch

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Wahrheitstabelle für die Negation Symbole: nicht, not, ¬ 13/27 Vorrangregelung der logischen Operatoren : 1. not 2. and 3. or 4. Vergleiche Kann durch Setzen von Klammern aufgehoben werden p not p wf fw p or q and r (p or q) and r

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Bemerkungen zur Disjunktion Umgangssprachlich bedeutet "oder" meistens: p oder q oder beide (sie ist intelligent oder sie studiert jede Nacht) p or q bedeutet immer "p oder q oder beide" (siehe Wahrheitstabelle) manchmal bedeutet "oder" jedoch: p oder q aber nicht beide (sie telefoniert aus Basel oder aus Genf) für diese Bedeutung wird die exklusive Disjunktion (xor) angewandt 14/27 Beachte: p xor q ist dann falsch wenn beide Teilaussagen entweder falsch oder richtig sind. pq p xor q wwf wfw fww fff

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Disjunktion oder exklusive Disjunktion? 15/27 Genauer: drink and < 1 Glas xor drive Genauer: drink xor driveAber stimmt das? Genauer: (drink and 1 Glas and drive) or (drink and > 1 Glas and not drive) Stimmts jetzt?

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Das neue Plakat © Raphael Theiler 16/27

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Ein paar Spezialfälle Logische Äquivalenzen not p or not q not ( p and q ) (de Morgan) not p and not q not ( p or q ) 17/27 pnot p p or not p wfw fww pnot p p and not p wff fwf Tautologie p or not p Widerspruch p and not p

Daten verwalten (2) Logische Verknüpfungen als Grundlage für die Informationsgewinnung Werete von Aussagen: Wahrheitstabellen Grafische vs. formale Darstellung von AbfragenGrafische vs. formale Darstellung von Abfragen Boolesche Algebra

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Grafische vs. formale Darstellung logischer Verknüpfungen Alle Nahrungsmittel mit Eisen Alle Nahrungsmittel mit Zink 18/27 Logischer Ausdruck ( Menge < 2 mg ) and ( Nährstoff = Eisen ) or ( Nährstoff = Zink ) Mengendiagramme Welche Nahrungsmittel enthalten weniger als 2 mg Eisen oder Zink? Alle Nahrungsmittel mit Menge < 2 mg

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Grafische vs. formale Darstellung logischer Verknüpfungen Eisen 19/27 Menge and Eisen Zink Menge ( Menge < 2 mg ) and ( Nährstoff = Eisen ) or ( Nährstoff = Zink )

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Grafische vs. formale Darstellung logischer Verknüpfungen 20/27 Logischer Ausdruck ( Nährstoff = Eisen ) and ( Menge < 2 mg ) or ( Nährstoff = Zink ) and ( Menge < 2 mg ) Welche Nahrungsmittel enthalten weniger als 2 mg Eisen oder weniger als 2 mg Zink?

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Wahrheitstabellen für die Analyse logischer Ausdrücke < 2 mgEisenZink Eisen or Zink(Eisen or Zink) and < 2 mg WWWWW WWFWW WFWWW WFFFF FWWWF FWFWF FFWWF FFFFF 21/27 ( Menge < 2 mg ) and (( Nährstoff = Eisen ) or ( Nährstoff = Zink ))

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Wahrheitstabellen für die Analyse logischer Ausdrücke < 2 mgEisenZink < 2 mg and Eisen or Zink WWWWW WWFWW WFWFW WFFFF FWWFW FWFFF FFWFW FFFFF 22/27 ( Menge < 2 mg ) and ( Nährstoff = Eisen ) or ( Nährstoff = Zink )

Daten verwalten (2) Logische Verknüpfungen als Grundlage für die Informationsgewinnung Werte von Aussagen: Wahrheitstabellen Grafische vs. formale Darstellung von Abfragen Boolesche AlgebraBoolesche Algebra

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Boolesche Algebra Eine Menge M mit zwei Verknüpfungen " " und "+" heisst Boolesche* Algebra, wenn für alle x, y, z M gilt: (1) x (y z) = (x y) z;Assoziativ (2) x + (y + z) = (x + y) + z;Assoziativ (3) x y = y x;Kommutativ (4) x + y = y + x;Kommutativ (5) x (x + y) = x;Absorption (6) x + (x y) = x;Absorption (8) x (y + z) = (x y) + (x z);Distributiv (8) x + (y z) = (x + y) (x + z);Distributiv 23/27 * nach George Boole, englischer Mathematiker, 1815 – 1864

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Boolesche Algebra (9)es gibt ein Element 0 M mit 0 x = 0 und 0 + x = x für alle x M ; Neutrales Element (10) es gibt ein Element 1 M mit 1 x = x und 1 + x = x für alle x M ; Neutrales Element (11) zu jedem x M existiert genau ein y M mit x y = 0 und x + y = 1; Komplementäres Element 24/27 Wir ersetzen "wahr" mit "1" und "falsch" mit "0" und wenden die Boolesche Algebra auf logische Ausdrücke an.

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Vereinfachung logischer Ausdrücke 25/27 Ananas und Banane oder Ananas und keine Banane oder keine Ananas und keine Banane Wir möchten einen Fruchtsalat mit Ananas und Bananen oder mit Ananas und keinen Bananen oder mit keinen Ananas und keinen Bananen. Können wir das einfacher sagen? Was sagen wir überhaupt?

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Vereinfachung logischer Ausdrücke 1.(A B) + (A ¬B) + (¬A ¬B) 2.[A (B + ¬B)] + (¬A ¬B) Distributivgesetz 3.(A 1) + (¬A ¬B) komplementäres Element bez. + 4.A + (¬A ¬B) neutrales Element bez. 5.(A + ¬A) (A + ¬B) Distributivgesetz 6.1 (A + ¬B) komplementäres Element bez A + ¬B neutrales Element bez. Aber... sind der 1. und der 7. Ausdruck auch äquivalent? 26/27 Ananas und Banane oder Ananas und keine Banane oder keine Ananas und keine Banane Ananas oder keine Banane

Informatik für Biol. & Pharm. Wissenschaften © Departement Informatik, ETH Zürich Verifizierung logischer Ausdrücke 27/27 AB((A B) + (A ¬B)) + (¬A ¬B) Schritt: ABA + ¬B Schritt:121 Reihenfolge: 1.Aussage 2.Logischer Ausdruck (Symbole) 3.Boolesche Algebra 4.Ausdruck evaluieren 1. Ausdruck: 7. Ausdruck:

Danke für Ihre Aufmerksamkeit