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

DOI10.1007/BF01068798zbMath0718.68031MaRDI QIDQ5750396

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

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

Related Items (1)

Complexity of algorithms that construct subsets of data from formal definitions

Cites Work

• Unnamed Item
• Hierarchical program specification and verification - a many-sorted logical approach
• On formalised computer programs

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