Detecting global variables in denotational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A recursive algebra and query optimization for nested relations
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Advanced query processing in object bases using access support relations
Proceedings of the sixteenth international conference on Very large databases
Proceedings of the second international workshop on Database programming languages
Query optimization in revelation, an overview
Data Engineering
Representing object identity in a pure functional language
ICDT '90 Proceedings of the third international conference on database theory on Database theory
ML for the working programmer
Elements of functional programming
Elements of functional programming
A transformation-based approach to optimizing loops in database programming languages
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
A general framework for the optimization of object-oriented queries
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGMOD Record
Towards an effective calculus for object query languages
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Supporting multiple view maintenance policies
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Query unnesting in object-oriented databases
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Optimizing object queries using an effective calculus
ACM Transactions on Database Systems (TODS)
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
A Keying Method for a Nested Relational Database Management System
Proceedings of the Eighth International Conference on Data Engineering
Extending Functional Database Languages to Update Completeness
BNCOD 13 Proceedings of the 13th British National Conference on Databases: Advances in Databases
An Algebraic Framework for Physical OODB Design
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Science)
Optimizing object queries using an effective calculus
ACM Transactions on Database Systems (TODS)
Incremental computation of complex object queries
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Formal semantics and analysis of object queries
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
XML query optimization in the presence of side effects
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
A better semantics for XQuery with side-effects
DBPL'07 Proceedings of the 11th international conference on Database programming languages
A universal calculus for stream processing languages
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
From a calculus to an execution environment for stream processing
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Proceedings of the 13th International Conference on Computer Systems and Technologies
Hi-index | 0.00 |
Object-oriented databases (OODBs) provide powerful dataabstractions and modeling facilities but they usually lack a suitableframework for query processing and optimization. Even though thereis an increasing number of recent proposals on OODB queryoptimization, only few of them are actually focused on queryoptimization in the presence of object identity and destructiveupdates, features often supported by most realistic OODB languages. This paper presents a formal framework for optimizing object-orientedqueries in the presence of side effects. These queries may containobject updates at any place and in any form. We present a languageextension to the monoid comprehension calculus to express theseobject-oriented features and we give a formal meaning to theseextensions. Our method is based on denotational semantics, which isoften used to give a formal meaning to imperative programminglanguages. The semantics of our language extensions is expressed interms of our monoid calculus, without the need of any fundamentalchange to our basic framework. Our method not only maintainsreferential transparency, which allows us to do meaningful queryoptimization, but it is also practical for optimizing OODB queriessince it allows the same optimization techniques applied to regularqueries to be used with minimal changes for OODB queries withupdates.