Logik in der Informatik
Prof. Dr. Nicole Schweikardt

Vorlesung Einführung in die Datenbanktheorie

Wintersemester 2023/24

Literatur

Vorlesungsskript und Handout der in der Vorlesung verwendeten Folien:

[Skript] Nicole Schweikardt, Einführung in die Datenbanktheorie, Skript-Fragmente zur gleichnamigen Vorlesung am Institut für Informatik der Humboldt-Universität zu Berlin, 2018. Die Online-Version ist hier erhältlich.

[Handout] Nicole Schweikardt, Einführung in die Datenbanktheorie, Handout der Folien zur gleichnamigen Vorlesung am Institut für Informatik der Humboldt-Universität zu Berlin, 2018. Die Online-Version ist hier erhältlich.

Weitere Literatur:

[AHV] S. Abiteboul, R. Hull, V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
A pdf-version of the book is available here.

[WebDaM] S. Abiteboul, I. Manolescu, P. Rigaux, M.-C. Rousset, P. Senellart. Web Data Management. Cambridge Univ. Press, 2011.
A pdf-Version of the book is available here.

[M] D. Maier. The Theory of Relational Databases. Computer Science Press, 1983.
A pdf-Version of the book is available here.

[SSS] N. Schweikardt, T. Schwentick, L. Segoufin. Database Theory: Query Languages. Chapter 19 in Algorithms and Theory of Computation Handbook, 2nd edition, volume 2: Special Topics and Techniques. Mikhail J. Atallah and Marina Blanton (editors), CRC Press, 2009.

[AD] P. Atzeni, V. De Antonellis. Relational Database Theory. Addison Wesley Longman; 1st edition (January 1993).

[CM] A. K. Chandra und P.M. Merlin. Optimal Implementation of Conjunctive Queries in Relational Databases. Proceedings of the 9th Annual ACM Symposiom on Theory of Computer Science (STOC 1977), May 4-6, 1977, Boulder, Colorado, USA, ACM 1977.

[G] M. Grohe. Parameterized Complexity for the Database Theorist. SIGMOD Record, Volume 31, Number 4, 2002, pages 86-96.

[Y] M. Yannakakis. Algorithms for acyclic database schemes. Proceedings of the 7th International Conference on Very Large Databases (VLDB 1981), pages 82-94, 1981.

[Sca] F. Scarcello. Query Answering Exploiting Structural Properties. SIGMOD Record, vol. 34, No 3, pages 91-99, Sept. 2005.

[CV] S. Chaudhuri and M. Vardi. Optimization of Real Conjunctive Queries. Proceedings of the 12th ACM Sigact-Sigart-Symposium on Principles of Database Systems (PODS 1993), pages 59-70, 1993.

[Datalog] E. Dantsin, T. Eiter, G. Gottlob and A. Voronkov. Complexity and expressive power of logic programming. ACM Computing Surveys, Vol. 33, No. 3, pages 374-425. 2001.

[P] Christos H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
[L] L. Libkin. Elements of Finite Model Theory. Springer-Verlag, 2004.

[AHV]	S. Abiteboul, R. Hull, V. Vianu. Foundations of Databases. Addison-Wesley, 1995. A pdf-version of the book is available here.
[WebDaM]	S. Abiteboul, I. Manolescu, P. Rigaux, M.-C. Rousset, P. Senellart. Web Data Management. Cambridge Univ. Press, 2011. A pdf-Version of the book is available here.
[M]	D. Maier. The Theory of Relational Databases. Computer Science Press, 1983. A pdf-Version of the book is available here.
[SSS]	N. Schweikardt, T. Schwentick, L. Segoufin. Database Theory: Query Languages. Chapter 19 in Algorithms and Theory of Computation Handbook, 2nd edition, volume 2: Special Topics and Techniques. Mikhail J. Atallah and Marina Blanton (editors), CRC Press, 2009.
[AD]	P. Atzeni, V. De Antonellis. Relational Database Theory. Addison Wesley Longman; 1st edition (January 1993).
[CM]	A. K. Chandra und P.M. Merlin. Optimal Implementation of Conjunctive Queries in Relational Databases. Proceedings of the 9th Annual ACM Symposiom on Theory of Computer Science (STOC 1977), May 4-6, 1977, Boulder, Colorado, USA, ACM 1977.
[G]	M. Grohe. Parameterized Complexity for the Database Theorist. SIGMOD Record, Volume 31, Number 4, 2002, pages 86-96.
[Y]	M. Yannakakis. Algorithms for acyclic database schemes. Proceedings of the 7th International Conference on Very Large Databases (VLDB 1981), pages 82-94, 1981.
[Sca]	F. Scarcello. Query Answering Exploiting Structural Properties. SIGMOD Record, vol. 34, No 3, pages 91-99, Sept. 2005.
[CV]	S. Chaudhuri and M. Vardi. Optimization of Real Conjunctive Queries. Proceedings of the 12th ACM Sigact-Sigart-Symposium on Principles of Database Systems (PODS 1993), pages 59-70, 1993.
[Datalog]	E. Dantsin, T. Eiter, G. Gottlob and A. Voronkov. Complexity and expressive power of logic programming. ACM Computing Surveys, Vol. 33, No. 3, pages 374-425. 2001.
[P]	Christos H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
[L]	L. Libkin. Elements of Finite Model Theory. Springer-Verlag, 2004.

Links

[databasetheory.org] Principles of Data Management — databasetheory.org

[PODS] ACM Symposium on Principles of Database Systems (PODS)

[ICDT] International Conference on Database Theory (ICDT)

[SIGRec] Database Principles Column of SIGMOD Record

Last modified: Thu Oct 29 13:40:47 CET 2020
Nicole Schweikardt

[Skript]	Nicole Schweikardt, Einführung in die Datenbanktheorie, Skript-Fragmente zur gleichnamigen Vorlesung am Institut für Informatik der Humboldt-Universität zu Berlin, 2018. Die Online-Version ist hier erhältlich.
[Handout]	Nicole Schweikardt, Einführung in die Datenbanktheorie, Handout der Folien zur gleichnamigen Vorlesung am Institut für Informatik der Humboldt-Universität zu Berlin, 2018. Die Online-Version ist hier erhältlich.

[databasetheory.org]	Principles of Data Management — databasetheory.org
[PODS]	ACM Symposium on Principles of Database Systems (PODS)
[ICDT]	International Conference on Database Theory (ICDT)
[SIGRec]	Database Principles Column of SIGMOD Record