Static Analysis of Intensional Databases in U-Datalog.
Elisa BertinoBarbara CataniaPublished in: PODS (1996)
Keyphrases
- static analysis
- databases
- dynamic analysis
- source code
- database
- query answering
- database languages
- symbolic execution
- expressive power
- java card
- data integration
- regular expressions
- query evaluation
- relational databases
- query language
- containment of conjunctive queries
- abstract interpretation
- decision trees
- malicious code
- metadata
- logic programming
- data model
- database systems
- data exchange
- data sources
- domain knowledge
- deductive databases
- data warehouse
- learning algorithm
- test case generation
- data management