An Introduction to the Formal Specification of Relational Query Languages

DOI10.1093/COMJNL/28.2.162MaRDI QIDQ3683561zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• A formal semantics for sql
• scientific article; zbMATH DE number 3980541
• A NEW RELATIONAL (DOMAIN-CALCULUS TYPE) QUERY LANGUAGE BASED ON THE PARTITION MODEL
• Towards a semantic query language
• Semantics of query languages for network databases

Cited in

(16)

• A straightforward formalization of the relational model
• Algebraic approach to formalization of deductive query languages
• A formalization of SQL with nulls
• A NEW RELATIONAL (DOMAIN-CALCULUS TYPE) QUERY LANGUAGE BASED ON THE PARTITION MODEL
• A formal semantics for sql
• Semantics of query languages for network databases
• scientific article; zbMATH DE number 3980541 (Why is no real title available?)
• scientific article; zbMATH DE number 8794 (Why is no real title available?)
• scientific article; zbMATH DE number 1264546 (Why is no real title available?)
• Formal specification scheme for database applications using requirements particle networks
• scientific article; zbMATH DE number 1485867 (Why is no real title available?)
• scientific article; zbMATH DE number 4119657 (Why is no real title available?)
• Formal system of definition of data sets as a high-level tool of data extraction
• Towards a semantic query language
• Specification of a query language by the attribute method
• On database query languages for K-relations

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3683561)