An Introduction to the Formal Specification of Relational Query Languages

DOI10.1093/COMJNL/28.2.162zbMath0567.68059OpenAlexW2002474961MaRDI QIDQ3683561

Raymond Turner, Barry G. T. Lowden

Publication date: 1985

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/28.2.162

zbMATH Keywords

formal semanticsrelational calculusSEQUEL

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Information storage and retrieval of data (68P20)

This page was built for publication: An Introduction to the Formal Specification of Relational Query Languages