Semantics and Correctness of a Query Language Translation.
E. GansnerJoseph R. HorganChandra M. R. KintalaD. J. MooreP. SurkoPublished in: POPL (1982)
Keyphrases
- query language
- data model
- conceptual model
- database query languages
- expressive power
- sparql queries
- query evaluation
- formal semantics
- object oriented
- aggregate functions
- relational algebra
- complex objects
- machine translation
- rule language
- database
- conjunctive queries
- query containment
- relational calculus
- correctness criterion
- algebraic operations
- regular expressions
- object oriented data models
- databases
- language constructs
- recursive queries
- relational operators
- machine translation system
- operational semantics
- transitive closure
- default reasoning
- query translation
- cross language information retrieval
- logic programming
- xml documents
- neural network