Ενότητα 1: Relational Query Languages - [Παρουσίαση]





Ενότητα 2: Relational Query Languages with Negation - [Παρουσίαση]





Ενότητα 3: Query Processing and Optimization - [Παρουσίαση]





Ενότητα 4: Constraint Databases. See Section 5.6 of the book and the following papers:

• P. C. Kanellakis, G. M. Kuper, P. Revesz. Constraint Query Languages. Journal of Computer and System Sciences, vol. 51, no. 1, pp. 26-52, 1995
• P. Revesz. Constraint Databases: A Survey. In: Semantics in Databases, L. Libkin and B. Thalheim, eds., Springer LNCS 1358, pp. 209-246, 1998
• Goldin, D.Q., Kanellakis, P.C. Constraint Query Algebras. Constraints Journal, Vol. 1, No. 1, 1996
• M. Koubarakis. Complexity Results for First-Order Theories of Temporal Constraints. Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94), pages 379-390, May 1994
• M. Koubarakis. Database Models for Infinite and Indefinite Temporal Information. Information Systems, Vol. 19, No. 2, March 1994, pages 141-173

There are also the following books that give an overview of the area:

• “Introduction to Constraint Databases” by Peter Revez
• “Constraint Databases” by Gabi Kuper, Leonid Libkin and Jan Paredaens
• “Spatial databases” by Philippe Rigaux, Michel Scholl and Agnès Voisard (presents a constraint-based approach to spatial databases)

Ενότητα 5: Datalog - [Παρουσίαση]





Ενότητα 6: Evaluation and Optimization of Datalog Queries - [Παρουσίαση]





Ενότητα 7: Recursion and Negation (we did not cover stable model or well-founded semantics) - [Παρουσίαση Recursion] [Παρουσίαση Negation]





Ενότητα 8: Expressiveness and Complexity.