A formal semantics for sql

DOI10.1080/00207169008803862MaRDI QIDQ3477996zbMATH OpenOpenAlexFDO

Authors Silvio Meira, Regina Motz, Fernando Tepedino

Publication date 1990

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207169008803862

zbMATH Keywords

SQLdenotational semanticsformal specificationquery languagerelational databaseVienna Development Method

Mathematics Subject Classification ID

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

Recommendations

• An Introduction to the Formal Specification of Relational Query Languages
• A formalization of SQL with nulls
• Semantics of query languages for network databases
• scientific article; zbMATH DE number 8791
• scientific article; zbMATH DE number 3980541

Cites work

• scientific article; zbMATH DE number 3890770 (Why is no real title available?)
• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• A denotational semantics for the generalized ER model and a simple ER algebra
• The Specification of a Relational Database (PRECI) as an abstract data type and its realisation in HOPE

Cited in

(11)

• A formalization of SQL with nulls
• HR-SQL: extending SQL with hypothetical reasoning and improved recursion for current database systems
• The comparative analysis of the expressive possibilities of the SQL-92 standard and the classical SQL(SEQUEL)
• Composition semantics of SQL-similar languages: Join operations
• Features of new standard of SQL language
• Semantics of query languages for network databases
• An Introduction to the Formal Specification of Relational Query Languages
• scientific article; zbMATH DE number 1485867 (Why is no real title available?)
• scientific article; zbMATH DE number 2080461 (Why is no real title available?)
• scientific article; zbMATH DE number 8791 (Why is no real title available?)
• Functional SQL (FSQL), an SQL upward-compatible database programming language

Describes a project that uses

Uses Software

• CoopnBuilder

This page was built for publication: A formal semantics for sql

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