AG „Intelligente Datenbanken“ Seminar „Deduktive Datenbanken“ WS04/05 Prof. Dr. Rainer Manthey Andreas Behrend Oliver Speidel Institut für Informatik III Universität Bonn © 2004 Prof. Dr. Rainer Manthey
- Beginn am 19.11.2004 um 11 Uhr c.t. (Di, 2. Semesterwoche) Seminar „Deduktive Datenbanken“ Wann und Wo? - Beginn am 19.11.2004 um 11 Uhr c.t. (Di, 2. Semesterwoche) - immer Dienstags, 11-13 Uhr im Raum A121 Details: - 12 Teilnehmer - Bedingungen für den Seminarschein (B): regelmäßige Teilnahme Vortrag (ca. 45 Minuten) als PowerPoint-Präsentation schriftliche Ausarbeitung (ca. 15 Seiten) als doc/ps/pdf-File Voraussetzungen: - Vorlesungen "Informationssysteme" und "Deduktive Datenbanken" © 2004 Prof. Dr. Rainer Manthey
Aktuelle Informationen im Netz: Seminar „Deduktive Datenbanken“ Aktuelle Informationen im Netz: http://informatik.uni-bonn.de/III/lehre/AG/IntelligenteDatenbanken/Seminar/WS04/index.html Bestätigung der Teilnahme über Eintrag auf der Homepage bis spätestens 30.9.04 Achtung bei Abmeldungen: - Abmeldungen vor dem 30.9.04 umgehend vornehmen! Studierende nach DPO 2003 erhalten bei Nicht-Erscheinen nach Beginn des Semesters Maluspunkte! © 2004 Prof. Dr. Rainer Manthey
Block 1: Anfrageoptimierung Seminar „Deduktive Datenbanken“ Block 1: Anfrageoptimierung Existentielle Anfrageoptimierung Ramakrishnan/Beeri/Krishnamurthy: „Optimizing Existential Datalog Queries“ (1988) Yehoshua Sagiv: „Optimizing Datalog Programs“ (1987) Optimierung rekursiver Anfragen Naughton/Ramakrishnan/Sagiv/Ullman: „Argument Reduction by Factoring“ (1989) Naughton/Ramakrishnan/Sagiv/Ullman: „Efficient Evaluation of Right, Left, and Multi-Linear Rules“ (1989) Anfrageoptimierung mit Hilfe von materialisierten Sichten Levy/Mendelzon/Sagiv/Srivastava: „Answering Queries Using Views“ (1995) Duschka/Genesereth: „Answering Recursive Queries Using Views“ (1997) Afrati/Li/Mitra: „Answering Queries Using Views with Arithmetic Comparisons“ (2002) Afrati/Li/Ullman: „Generating Efficient Plans for Queries Using Views“ (2001) Semantische Anfrageoptimierung Levy/Sagiv: „Constraints and Redundancy in Datalog“ (1992) Levy/Sagiv: „Semantic Query Optimization in Datalog Programs“ (1995) Kemp/Stuckey: „Optimizing Bottom-Up Evaluation of Constraint Queries“ (1996) © 2004 Prof. Dr. Rainer Manthey
Block 2: Änderungspropagierung Seminar „Deduktive Datenbanken“ Block 2: Änderungspropagierung Duplikate Griffin/Libkin: „Incremental Maintenance of Views with Duplicates“ (1995) Gupta/Mumick/Subrahmanian: „Maintaining Views Incrementally“ (1993) Self-Maintainable Views Gupta/Jagadish/Mumick: „Data Integration using Self-Maintainable Views“ (1996) Mohania/Kambayashi: „Making Aggregate Views Self-Maintainable“ (2000) Anpassung materialisierter Sichten und Integritätsprüfung Ross/Srivastava/Sudarshan: „Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time“ (1996) Änderung von Sichtdefinitionen Gupta/Mumick/Rao/Ross: „Adapting Materialized Views After Redefinitions: Techniques and a Performance Study“ (2001) © 2004 Prof. Dr. Rainer Manthey
Block 3: Rekursive Anfragen Seminar „Deduktive Datenbanken“ Block 3: Rekursive Anfragen Relational Algebra Apers/Houtsma/Brandse: „Processing Recursive Queries in Relational Algebra“ (1986) Houtsma/Apers: „Algebraic optimization of recursive queries“ (1991) Counting Sacca/Zaniolo: „The generalized counting method for recursive queries“ (1986) Sacca/Zaniolo: „Magic Counting Methods“ (1987) Conditions Mumick/Finkelstein/Pirahesh/Ramakrishnan: „Magic Conditions“ (1990) Mumick/Finkelstein/Pirahesh/Ramakrishnan: „Magic is Relevant“ (1990) Envelopes Sagiv: „Is There Anything Better than Magic?“ (1990) © 2004 Prof. Dr. Rainer Manthey