IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming.
Jimmy Ho-Man LeeHo-fung LeungPublished in: SAC (1994)
Keyphrases
- constraint logic programming
- query processing
- constraint solving
- logic programming language
- logic programming
- answer set programming
- constraint programming
- query optimization
- programming paradigms
- data management
- database systems
- r tree
- constraint propagation
- proof theoretic
- index structure
- global constraints
- xml data
- database
- temporal reasoning
- query evaluation
- range queries
- inference rules
- qualitative and quantitative
- constraint satisfaction problems
- general purpose
- special case
- video sequences
- data mining