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

DOI10.1007/BF01068798zbMATH Open0718.68031MaRDI QIDQ5750396FDOQ5750396

Authors: R. M. Nuriev 

Publication date: 1987

Published in: Cybernetics (Search for Journal in Brave)

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

zbMATH Keywords

query languageslogical programming languagesexpressiveness of programming languagesproblem specification languages

Mathematics Subject Classification ID

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

Cites Work

• On formalised computer programs
• Hierarchical program specification and verification - a many-sorted logical approach
• Title not available (Why is that?)

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)