The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
A syntactic approach to type soundness
Information and Computation
PREDATOR: an OR-DBMS with enhanced data types
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Javalight is type-safe—definitely
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimization techniques for queries with expensive methods
ACM Transactions on Database Systems (TODS)
Object identity as a query language primitive
Journal of the ACM (JACM)
Integrating functional and imperative programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Optimizing Queries with Object Updates
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
The object data standard: ODMG 3.0
The object data standard: ODMG 3.0
Type-checking OQL queries in the ODMG type systems
ACM Transactions on Database Systems (TODS)
Typing a multi-language intermediate code
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimizing object queries using an effective calculus
ACM Transactions on Database Systems (TODS)
Applying an update method to a set of receivers
ACM Transactions on Database Systems (TODS)
Featherweight Java: a minimal core calculus for Java and GJ
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Definition of Standard ML
Of Objects and Databases: A Decade of Turmoil
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Inferring the Principal Type and the Schema Requirements of an OQL Query
BNCOD 18 Proceedings of the 18th British National Conference on Databases: Advances in Databases
Nested Queries in Object Bases
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Object-Oriented Query Optimization: What''s the Problem?
Object-Oriented Query Optimization: What''s the Problem?
Compilation and equivalence of imperative objects
Journal of Functional Programming
Temporal and versioning model for schema evolution in object-oriented databases
Data & Knowledge Engineering
Semantics, Types and Effects for XML Updates
DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
Schema-based independence analysis for XML updates
Proceedings of the VLDB Endowment
Proceedings of the 13th International Conference on Computer Systems and Technologies
Hi-index | 0.00 |
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.