Specification of data restructuring software based on the attribute method

DOI10.1007/BF00985822MaRDI QIDQ3216124zbMATH OpenWikidataFDO

Authors Timo Niemi

Publication date 1984

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

zbMATH Keywords

data structureattribute grammarsabstract software specificationdata base restructuring software

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3692628 (Why is no real title available?)
• scientific article; zbMATH DE number 3513332 (Why is no real title available?)
• A practical example of the specification of abstract data types
• A seven-tuple representation for hierarchical data structures
• A straightforward formalization of the relational model
• CONVERT
• Formal restructuring functions for hierarchical data bases
• Formalization in program development
• Semantics of context-free languages
• Specification of a query language by the attribute method

Describes a project that uses

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)