语义学是程序设计理论的组成部份，以数学为工具，运用符号和公式，严格定义程序设计语言的语义，使语义形式化。查询语言语义学是指对查询语言各个成分的含义进行严格定义，并且要求计算机系统执行这些成分所产生的效果与其含义完全一致。程序设计语言的语义通常是由设计者用一种自然语言非形式地解释的，实现者和使用者则依据各自的理解去实现和使用这种语言。然而使用自然语言和非形式的方法解释语义，容易产生歧义，造成语言设计者、用户和实现者对语义的不同理解，影响语言的正确实施和有效使用。查询语言语义学是指查询语言中的语义进行严格的定义和解释，防止查询语言设计者、用户和实现者对语义理解出现歧义。