scientific article; zbMATH DE number 8794

MaRDI QIDQ3971283zbMATHFDO

Authors Martin Gogolla

Publication date 25 June 1992

zbMATH Keywords

SQLformal semanticstuple calculusrelational query language

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 975706
• Tuple calculus: formal definition and conversion from first-order calculus
• Comparison of expressive power of some query languages for databases
• A formal semantics for sql
• An Introduction to the Formal Specification of Relational Query Languages

Cited in

(2)

• Tuple calculus: formal definition and conversion from first-order calculus
• SQL translation using an attribute grammar

This page was built for publication:

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