An Introduction to the Formal Specification of Relational Query Languages
Open Access
- 1 January 1985
- journal article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 28 (2) , 162-169
- https://doi.org/10.1093/comjnl/28.2.162
Abstract
An introduction is given to the use of formal semantics as a means of both specifying relational query languages and of establishing a conceptual basis for their analysis. The approach is demonstrated with respect to the relational calculus and then extended to cope with the more advanced constructs of SEQUEL and QUEL.Keywords
This publication has 0 references indexed in Scilit: