Semantics and correctness of a query language translation: (preliminary version)

Authors:
E. Gansner;J. R. Horgan;C. M. R. Kintala;D. J. Moore;P. Surko
Affiliations:
Bell Laboratories, Murray Hill, New Jersey;Bell Laboratories, Murray Hill, New Jersey;Bell Laboratories, Murray Hill, New Jersey;Bell Laboratories, Murray Hill, New Jersey;Bell Laboratories, Murray Hill, New Jersey
Venue:
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Year:
1982

Citing 6
Cited 1

Hierarchical schemata for relational databases

ACM Transactions on Database Systems (TODS)
EXPRESS: a data EXtraction, Processing, and Restructuring System

ACM Transactions on Database Systems (TODS)
Advice on structuring compilers and proving them correct

POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
More on advice on structuring compilers and proving them correct

Semantics-Directed Compiler Generation, Proceedings of a Workshop
A constructive approach to compiler correctness

Semantics-Directed Compiler Generation, Proceedings of a Workshop
Specification of compilers as abstract data type representations

Semantics-Directed Compiler Generation, Proceedings of a Workshop

Attributed grammars for query language translations

PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper proves the correctness of a translation from HISEL, a relational database query language, to HI, a hierarchical query language.The four components of Morris' [7] program are established. Appropriate semantics for the two languages are defined. A translation function is defined and an L-attributed grammar capturing the translation function is exhibited. The transformation of database trees into database relations is specified.