Un linguaggio di programmazione progettato per migliorare la produttività raggiunta dai linguaggi di alto ordine (terza generazione) e, spesso, di fare computing power disponibile ai non-programmatori. Caratteristiche tipicamente includono un sistema di gestione di database integrato, query language, generatore di report e impianto di definizione dello schermo. Caratteristiche supplementari possono includere un generatore di grafici, funzione di sostegno di decisione, modellazione finanziaria, capacità di foglio di calcolo e funzioni di analisi statistica.