Foundations of Information Integration

VU 184.734 (2.0) Sommersemester 2012

Reinhard Pichler

Table of Contents	News
General information Registration Course overview Schedule of lectures Assessment Books and further references	The deadline for submitting the reports and slides has been extended to Tuesday, 12 June, 12:00 o'clock

General informationen

Language. This lecture will most probably be held in English since it is part of the European Master's Program in Computational Logic (EMCL) curriculum.
Place. Classes will be held in the Gödel Seminarraum (Favoritenstraße 9-11, ground floor).
Time. The course has a regular meeting time. Classes will be held Thursdays, 9:00 - 10:45. Depending on the number of students, additional classes will be needed for the students' presentations at the end of the semester. The first class meets on Thursday, 01 March, 9:00 - 10:45.
Prerequisites. This course is designed for master's students. It is highly recommended to attend this course after the course Formale Methoden der Informatik (185.291). Students are assumed to have a basic knowledge in mathematical logic and to be familiar with basic concepts of complexity theory (to the extent taught in the course "Formale Methoden der Informatik").

Registration

Registration in TISS is required for this course!!
(Attention: registration != subscription)

Course overview

In this course, several topics in the area of Incomplete Information in Information Integration will be touched on. The goal of the lecture is to present some theoretical background (e.g., logical foundations of incomplete information) as well as some recent research results. The following topics will be covered (as time permits)

Foundations of Incomplete Information
Schema Mappings
Data Exchange
Data Integration
Query Answering Using Views
Uncertain and Probabilistic Data
Inconsistent Data

Schedule of lectures (preliminary plan)

Lecture	Date/Place	Topic	Slides	Supplementary material
1	Thursday, 01-March 9:00 - 10:45 Gödel Seminarraum	General Information	infint01, 4x1
2	Thursday, 08-March 9:00 - 10:45 Gödel Seminarraum	Foundations of Incomplete Information	infint02, 4x1	[AKG91], [IL84], [Mey98]
3	Thursday, 15-March 9:00 - 10:45 Gödel Seminarraum	Foundations of Incomplete Information (continued)
4	Thursday, 22-March 9:00 - 10:45 Gödel Seminarraum	Foundations of Incomplete Information (continued)	quiz: sql, quiz: answers
5	Thursday, 29-March 9:00 - 10:45 Gödel Seminarraum	Schema Mappings and Data Exchange Information on the Report and Presentation	infint03, 4x1 report, 4x1	[FKMP05], [FKP05], [HIST03]
6	Thursday, 19-April 9:00 - 10:45 Gödel Seminarraum	Schema Mappings and Data Exchange (continued)
7	Thursday, 26-April 9:00 - 10:45 Gödel Seminarraum	Schema Mappings and Data Exchange (continued)
	Thursday, 03-May	no class
8	Thursday, 10-May 9:00 - 10:45 Gödel Seminarraum	Data Integration	infint04, 4x1	[AD98],[CCDL02], [HRO06], [Len02]
	Thursday, 17-May	no class
9	Thursday, 24-May 9:00 - 10:45 Gödel Seminarraum	Data Integration (continued)		[Hal01], [LMSS95], [LRO96], [Ull00]
10	Thursday, 31-May 9:00 - 10:45 Gödel Seminarraum	Data Integration (continued)
	Thursday, 07-June	no class
11	Thursday, 14-June 9:00 - 10:45 Gödel Seminarraum	students' presentations
12	Thursday, 21-June 9:00 - 10:45 Gödel Seminarraum	students' presentations
13	Thursday, 28-June 9:00 - 10:45 Gödel Seminarraum	students' presentations

Assessment

Assessment will be based on students' presentations and an oral exam at the end of the term. Detailed information will be provided in the first class.

Selection of References

[AD98] Serge Abiteboul, Oliver M. Duschka: Complexity of Answering Queries Using Materialized Views. PODS 1998: 254-263 (1998).

[AKG91] Serge Abiteboul, Paris C. Kanellakis, G\ouml;sta Grahne: On the Representation and Querying of Sets of Possible Worlds. Theoretical Computer Science 78(1): 158-187 (1991).

[CCDL02] Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: On the Expressive Power of Data Integration Systems. ER 2002: 338-350, LNCS 2503, Springer (2002).

[FKMP05] Ronald Fagin, Phokion G. Kolaitis, Renee J. Miller, Lucian Popa: "Data exchange: semantics and query answering". Theor. Comput. Sci. 336(1): 89-124 (2005).

[FKP05] Ronald Fagin, Phokion G. Kolaitis, Lucian Popa: "Data exchange: getting to the core". ACM Trans. Database Syst. 30(1): 174-210 (2005).

[Hal01] Alon Y. Halevy: "Answering queries using views: A survey". VLDB J. 10(4): 270-294 (2001).

[HIST03] Alon Y. Halevy, Zachary G. Ives, Dan Suciu, Igor Tatarinov: "Schema Mediation in Peer Data Management Systems". ICDE 2003: 505-516 (2003).

[HRO06] Alon Y. Halevy, Anand Rajaraman, Joann J. Ordille: "Data Integration: The Teenage Years". in Proc. VLDB'06, pp. 9-16, ACM (2006).

[IL84] Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information in Relational Databases. Journal of the ACM 31(4): 761-791 (1984).

[Len02] Maurizio Lenzerini: "Data Integration: A Theoretical Perspective". in Proc. PODS'02, pp. 233-246, ACM (2002).

[LMSS95] Alon Y. Levy, Alberto O. Mendelzon, Yehoshua Sagiv, Divesh Srivastava: Answering Queries Using Views. in Proc. PODS'95, pp. 95-104, ACM (1995).

[LRO96] Alon Y. Levy, Anand Rajaraman, Joann J. Ordille: Query-Answering Algorithms for Information Agents. in Proc. AAAI'96, pp. 40-47 (1996).

[Mey98] Ron van der Meyden: "Logical approaches to incomplete information: a survey", in J.Chomicki, G.Saake(Eds.), Logics for Databases and Information Systems, Kluwer, Dordrecht, pp. 307 - 356 (1998).

[Ull00] Jeffrey D. Ullman: Information integration using logical views. Theoretical Computer Science 239(2): 189-210 (2000).

Last modified 07 May, 2012