The relational model with relation-valued attributes
Information Systems
Rule-based transformation of relational queries into iterative programs
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
An introduction to the theory of lists
Proceedings of the NATO Advanced Study Institute on Logic of programming and calculi of discrete design
On the translation of relational queries into iterative programs
ACM Transactions on Database Systems (TODS)
Deforestation: transforming programs to eliminate trees
Proceedings of the Second European Symposium on Programming
Extending the functional data model to computational completeness
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Encapsulation of parallelism in the Volcano query processing system
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
ACM Transactions on Database Systems (TODS)
Optimizing and executing DAPLEX queries using Prolog
The Computer Journal - On concurrent logic programming
Logical and computational aspects of programming with sets/bags/lists
Proceedings of the 18th international colloquium on Automata, languages and programming
Representing object identity in a pure functional language
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Functional programming with bananas, lenses, envelopes and barbed wire
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
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
Report on the programming language Haskell: a non-strict, purely functional language version 1.2
ACM SIGPLAN Notices - Haskell special issue
Comprehensions, a query notation for DBPLs
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
ACM SIGMOD Record
Principles of programming with complex objects and collection types
ICDT '92 Selected papers of the fourth international conference on Database theory
Towards an effective calculus for object query languages
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Warm fusion: deriving build-catas from recursive definitions
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
The object database standard: ODMG 2.0
The object database standard: ODMG 2.0
On optimizing an SQL-like nested query
ACM Transactions on Database Systems (TODS)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Naturally Embedded Query Languages
ICDT '92 Proceedings of the 4th International Conference on Database Theory
On Two Forms of Structural Recursion
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Translating Aggregate Queries into Iterative Programs
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
From Nested-Loop to Join Queries in OODB
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Bypassing Joins in Disjunctive Queries
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Efficient Access to FDM Objects Stored in a Relational Database
BNCOD 12 Proceedings of the 12th British National Conference on Databases: Directions in Databases
Query Evaluation in CROQUE - Calculus and Algebra Coincide
BNCOD 15 Proceedings of the 15th British National Conferenc on Databases: Advances in Databases
Homomorphisms and Promotability
Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
Efficient Optimization of Iterative Queries
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Nested Queries in Object Bases
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Formal Foundations for Optimising Aggregation Functions in Database Programming Languages
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
Incremental Updates for Materialized OQL Views
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Algebraic query optimisation for database programming languages
The VLDB Journal — The International Journal on Very Large Data Bases
Querying nested collections
Navigation-Driven Evaluation of Virtual Mediated Views
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
The Script-Writer's Dream: How to Write Great SQL in Your Own Language, and Be Sure It Will Succeed
DBPL '09 Proceedings of the 12th International Symposium on Database Programming Languages
Qex: symbolic SQL query explorer
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Bringing back monad comprehensions
Proceedings of the 4th ACM symposium on Haskell
Reify your collection queries for modularity and speed!
Proceedings of the 12th annual international conference on Aspect-oriented software development
Hi-index | 0.00 |
Compilers and optimizers for declarative query languagesuse some form of intermediate language to represent user-levelqueries. The advent of compositional query languages for orthogonaltype systems (e.g., OQL) calls for internal query representationsbeyond extensions of relational algebra. This work adopts a view ofquery processing which is greatly influenced by ideas from thefunctional programming domain. A uniform formal framework ispresented which covers all query translation phases, includinguser-level query language compilation, query optimization, andexecution plan generation. We pursue the type-based design—basedon initial algebras—of a core functional language which isthen developed into an intermediate representation that fits theneeds of advanced query processing. Based on the principle ofstructural recursion we extend the language by monad comprehensions(which provide us with a calculus-style sublanguage that proves to beuseful during the optimization of nested queries) and combinators(abstractions of the query operators implemented by the underlyingtarget query engine). Due to its functional nature, the language issusceptible to program transformation techniques that were developedby the functional programming as well as the functional data modelcommunities. We show how database query processing can substantiallybenefit from these techniques.