Abstract interpretation of database query languages.
Raju HalderAgostino CortesiPublished in: Comput. Lang. Syst. Struct. (2012)
Keyphrases
- database query languages
- abstract interpretation
- termination analysis
- static analysis
- relational algebra
- database systems
- type checking
- expressive power
- complex objects
- query language
- relational model
- active rules
- model checking
- reasoning engine
- dynamic analysis
- active databases
- data model
- aggregate functions
- database
- relational databases
- relational calculus
- object oriented databases
- knowledge representation