Compilation and equivalence of imperative objects

Gordon, Andrew D.; Hankin, Paul D.; Lassen, Søren B.

doi:10.1007/bfb0058024

Cited by 18 publications

(1 citation statement)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…by Cluet and Moerkette [5] and Fegaras and Maier [10]. We also plan to develop notions of query equivalence based upon "contextual equivalence", which is a common notion for programming languages [12].…”

Section: Discussionmentioning

confidence: 99%

Formal semantics and analysis of object queries

Bierman

2003

Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data

View full text Add to dashboard Cite

Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and invocation of arbitrary methods (possibly written in a third-party programming language).In this sense query languages have evolved into powerful programming languages. Surprisingly little work exists utilizing techniques from programming language research to specify and analyse these query languages. This paper provides a formal, high-level operational semantics for a complex-value OQL-like query language that can create fresh database objects, and invoke external methods. We define a type system for our query language and prove an important soundness property.We define a simple effect typing discipline to delimit the computational effects within our queries. We prove that this effect system is correct and show how it can be used to detect cases of non-determinism and to define correct query optimizations.

show abstract

Section: Discussionmentioning

confidence: 99%