Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler.
Joshua S. AuerbachMartin HirzelLouis MandelAvraham ShinnarJérôme SiméonPublished in: SIGMOD Conference (2017)
Keyphrases
- relational algebra
- nested relational
- nested relations
- relational operators
- recursive queries
- algebraic operations
- relational model
- join operator
- probabilistic databases
- sparql queries
- query language
- aggregate functions
- data model
- normal form
- duplicate elimination
- expressive power
- relational calculus
- database
- relational database systems
- complex objects
- query evaluation
- transitive closure
- relational algebra expressions
- data structure
- first order logic
- dynamic environments
- query processing
- relational data model
- programming language
- null values
- databases
- universal quantification
- database query languages
- data sources
- artificial intelligence
- database design
- user defined
- sql queries