Cooperative Query Answering by Abstract Interpretation.
Raju HalderAgostino CortesiPublished in: SOFSEM (2011)
Keyphrases
- query answering
- abstract interpretation
- cooperative
- termination analysis
- data exchange
- integrity constraints
- static analysis
- active rules
- data integration
- model checking
- data complexity
- conjunctive queries
- answering queries
- incomplete information
- reasoning engine
- active databases
- dynamic analysis
- multi agent
- query answers
- deductive databases
- business processes
- multi agent systems
- schema mappings
- database schema
- dl lite