Specification of data restructuring software based on the attribute method

DOI10.1007/BF00985822zbMATH Open0553.68017WikidataQ111899590 ScholiaQ111899590MaRDI QIDQ3216124FDOQ3216124

Authors: Timo Niemi 

Publication date: 1984

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Recommendations

• Specification of a query language by the attribute method
• A Formal Method for the Abstract Specification of Software
• Formal restructuring functions for hierarchical data bases
• A constructive method for abstract algebraic software specification
• scientific article; zbMATH DE number 3900135

zbMATH Keywords

data structureattribute grammarsabstract software specificationdata base restructuring software

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Data structures (68P05)

Cites Work

• Semantics of context-free languages
• CONVERT
• A seven-tuple representation for hierarchical data structures
• Title not available (Why is that?)
• Formalization in program development
• A practical example of the specification of abstract data types
• Formal restructuring functions for hierarchical data bases
• Specification of a query language by the attribute method
• A straightforward formalization of the relational model
• Title not available (Why is that?)

Uses Software

• EXPRESS

This page was built for publication: Specification of data restructuring software based on the attribute method

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