Binding and Type Checking in Database Programming Languages

DOI10.1093/COMJNL/31.2.99MaRDI QIDQ3790684zbMATHOpenAlexFDO

Authors M. P. Atkinson, Peter Buneman, Ronald W. Morrison

Publication date 1988

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

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

zbMATH Keywords

database programming languagesdelayed bindingdelayed type checking

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Information storage and retrieval of data (68P20)

Recommendations

• Concepts in the Modula-90 database programming language
• Static semantics, types, and binding time analysis
• Semantics of types for database objects
• On the classification of binding mechanisms
• scientific article; zbMATH DE number 683362

Cited in

(2)

• On the classification of binding mechanisms
• Type data bases with incomplete information

This page was built for publication: Binding and Type Checking in Database Programming Languages

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