Module: Algebraic and logical query languages

Prerequisite Modules

Propositional Logic

Assertions, propositions, connectives, tautologies, contradictions etc.

ICS 141

Predicate Logic

Predicates, quantifiers, implications, equivalences, inference rules.

ICS 141

Set Theory

Sets, set notation, relationships between sets, etc.

ICS 141

Learning Outcomes

Understand query languages for databases

• You understand the difference between different types of query languages
• You understand set semantics and bag semantics
• You understand relational algebra operators including extended operators under both set and bag semantics
• You understand datalog
• You can express queries using both relational algebra and datalog

Readings

Experiential Learning