Provenance for SQL through Abstract Interpretation: Value-less, but Worthwhile.
Tobias MüllerTorsten GrustPublished in: Proc. VLDB Endow. (2015)
Keyphrases
- abstract interpretation
- termination analysis
- static analysis
- relational databases
- model checking
- query language
- database design
- active rules
- dynamic analysis
- databases
- metadata
- active databases
- database technology
- database management
- database
- data types
- database applications
- reasoning engine
- data quality
- relational model
- database server
- data structure
- data model
- fine grained
- source code