Type inference and type checking for queries over execution traces.
Daniel DeutchTova MiloPublished in: VLDB J. (2012)
Keyphrases
- type checking
- database query languages
- query processor
- execution traces
- relational calculus
- data types
- query processing
- relational algebra
- abstract data types
- query language
- source code
- user defined
- expressive power
- database queries
- object model
- databases
- database systems
- normal form
- query result
- query evaluation
- data management
- response time
- relational database systems
- complex objects
- efficient query processing
- first order logic
- program comprehension
- database