Ενότητα 1

• The Relational Model: structure, named vs unnamed perspective, Sections 3.1 - 3.3 of [1]

Ενότητα 2

• Conjunctive Queries: rule-based, tableau, calculus, incorporating equality, query composition, algebra, adding union, Section 4.1 - 4.5 of [1]

Ενότητα 3

• Adding Negation: algebra and calculus, Sections 5.1-5.3 of [1].

Ενότητα 4

• Syntactic restrictions for domain independence, Section 5.4 of [1].

Ενότητα 5

• SQL vs. algebra, calculus and non-recursive datalog with negation, Chapter 7 of [1].

• Static Analysis and Query Optimization,  Section 6.1 of [1] and the following survey papers:

  • Selinger et. al., Access Path Selection in a Relational Database Management System [pdf]

  • Ioannidis, Query Optimization [pdf]

  • Chaundhuri, An Overview of Query Optimization in Relational Systems [pdf]

Ενότητα 6

• Global Optimization (minimization, containment, equivalence) of relational queries, Section 6.2 of [1]

Ενότητα 7

• Datalog, model-theoretic semantics, fixpoint semantics, Sections 12.1 – 12.3 of [1]

Ενότητα 8

• Static program analysis of Datalog (satisfiability, containment, equivalence, boundedness), Section 12.5 of [1]

Ενότητα 9

• Evaluation of Datalog (naïve, semi-naïve), Section 13.1 of [1]

Ενότητα 10

• Recursion and negation (while queries, fixpoint queries), parts of Chapter 14 of [1]

Ενότητα 11

• Negation in Datalog (semi-positive Datalog with negation, stratified Datalog with negation), Sections 15.1 – 15.3 of [1]