Specification of a query language by the attribute method

DOI10.1007/BF01937484zbMATH Open0542.68082MaRDI QIDQ795520FDOQ795520

Authors: Timo Niemi 

Publication date: 1984

Published in: BIT (Search for Journal in Brave)

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

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)

Cites Work

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

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)