Reachability and connectivity queries in constraint databases.
Michael BenediktMartin GroheLeonid LibkinLuc SegoufinPublished in: J. Comput. Syst. Sci. (2003)
Keyphrases
- constraint databases
- transitive closure
- query language
- query evaluation
- linear constraint databases
- expressive power
- linear constraints
- recursive queries
- temporal data
- fixed point
- geographic information systems
- spatial databases
- query processing
- relational databases
- first order logic
- data model
- relational algebra
- integrity constraints
- data structure
- international conference
- sufficient conditions
- multi dimensional
- image retrieval
- data streams