Module: Algebraic and logical query languages

Understanding query languages.

Prerequisite Modules

Assertions, propositions, connectives, tautologies, contradictions etc.

Predicates, quantifiers, implications, equivalences, inference rules.

Sets, set notation, relationships between sets, etc.

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

Query languages

40 pages

Bag semantics, extended relational algebra

Lecture Notes

Database logic

Lecture Notes

Relational algebra & bag semantics

Queries as datalog programs