Specification of a query language by the attribute method

DOI10.1007/BF01937484MaRDI QIDQ795520zbMATH OpenFDO

Authors Timo Niemi

Publication date 1984

Published in BIT (Search for Journal in Brave)

zbMATH Keywords

relational data basesoftware specificationattribute methodchecking attributesrelationally complete query languagesemantic attributes

Mathematics Subject Classification ID

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

Recommendations

• Expressiveness of structured document query languages based on attribute grammars
• An Introduction to the Formal Specification of Relational Query Languages
• scientific article; zbMATH DE number 4033046
• A query language allowing conditions of relational type in queries
• Towards a semantic query language
• SQL translation using an attribute grammar
• scientific article; zbMATH DE number 1692931
• Expressive capabilities description languages and query rewriting algorithms

Cites work

• A practical example of the specification of abstract data types
• A relational model of data for large shared data banks
• A seven-tuple representation for hierarchical data structures
• Formal restructuring functions for hierarchical data bases
• Formalization in program development
• Multi-soliton solutions and quasi-periodic solutions of nonlinear equations of sine-Gordon type
• Semantics of context-free languages

Cited in

(2)

• Adding relational query facilities to software development environments
• Specification of data restructuring software based on the attribute method

This page was built for publication: Specification of a query language by the attribute method

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