Specification of a query language by the attribute method
From MaRDI portal
Publication:795520
DOI10.1007/BF01937484zbMath0542.68082MaRDI QIDQ795520
Publication date: 1984
Published in: BIT (Search for Journal in Brave)
relational data base; software specification; attribute method; checking attributes; relationally complete query language; semantic attributes
Related Items
Cites Work
- A seven-tuple representation for hierarchical data structures
- Formalization in program development
- A practical example of the specification of abstract data types
- Multi-soliton solutions and quasi-periodic solutions of nonlinear equations of sine-Gordon type
- Formal restructuring functions for hierarchical data bases
- Semantics of context-free languages
- A relational model of data for large shared data banks