第四代语言（4GL）的分类主要根据其功能特性进行划分，主要包括以下四类：
1. 查询语言和报表生成器: 查询语言如SQL，作为数据库管理系统的核心工具，它具备查询、操作、定义和控制等多功能。报表生成器，如ADF，是用户生成报表的便捷工具，非过程化的描述方式使得用户能轻易根据数据库信息制作报表。
2. 图形语言: 图形在软件开发中扮演重要角色，如数据流图和结构图。图形语言的直观性使其在4GL中得到广泛应用，如Gupta的SQL Windows系统，用户可在屏幕上以图形方式定义需求，生成的源程序甚至支持面向对象编程。
3. 应用生成器: 这是一种综合工具，用于生成完整的应用系统。应用生成器分为交互式和编程式两种，如FOCUS和Oracle的应用开发环境。交互式工具如Power Builder允许用户通过终端进行文件、报表操作，而编程式工具如NATURAL则专为构建复杂系统的专业人员设计。
4. 形式规格说明语言: 这是软件开发的基础，通过书写软件规格说明，如需求规格说明、功能规格说明和设计规格说明，来明确软件需求。形式规格说明语言，如Z、NPL和JAVASPEC，是非过程化的，更适合4GL，可自动或半自动转化为可执行语言，减少歧义和不精确性对软件开发的影响。
第四代语言(Fourth－Generation Language, 以下简称4GL)的出现是出于商业需要。4GL这个词最早是在80年代初期出现在软件厂商的广告和产品介绍中的。因此，这些厂商的4GL产品不论从形式上看还是从功能上看，差别都很大。但是人们很快发现这一类语言由于具有“面向问题”、“非过程化程度高”等特点，可以成数量级地提高软件生产率，缩短软件开发周期，因此赢得了很多用户。1985年，美国召开了全国性的4GL研讨会，也正是在这前后，许多著名的计算机科学家对4GL展开了全面研究，从而使 4GL进入了计算机科学的研究范畴。