Wiskundige logica.

Predikatenlogica, gebruikt in het relationele model.

Propositielogica, zie calculus, proposition.

Formele taal voor het opvragen van gegevens uit een relationele database met een query, gebaseerd op de predicaatlogica en de verzamelingenleer.