Formal system of definition of data sets as a high-level tool of data extraction

DOI10.1007/BF01068798MaRDI QIDQ5750396zbMATH OpenFDO

Authors R. M. Nuriev

Publication date 1987

Published in Cybernetics (Search for Journal in Brave)

zbMATH Keywords

query languageslogical programming languagesexpressiveness of programming languagesproblem specification languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Database theory (68P15)

Recommendations

• Complexity of algorithms that construct subsets of data from formal definitions
• Set notation as a language to specify data transformation programs
• An Introduction to the Formal Specification of Relational Query Languages
• scientific article; zbMATH DE number 3917750
• Algebraic approach to formalization of deductive query languages

Cites work

• scientific article; zbMATH DE number 3637260 (Why is no real title available?)
• Hierarchical program specification and verification - a many-sorted logical approach
• On formalised computer programs

Cited in

(2)

• Complexity of algorithms that construct subsets of data from formal definitions
• Data subset selection by Boolean calculation

This page was built for publication: Formal system of definition of data sets as a high-level tool of data extraction

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