Provably Correct and Complete Transaction Rules for GIS.
Gerhard GrögerLutz PlümerPublished in: ACM-GIS (1997)
Keyphrases
- provably correct
- situation calculus
- formal methods
- geographic information systems
- database
- error estimates
- spatial databases
- production rules
- decision rules
- rule sets
- data modeling
- spatial data
- association rules
- knowledge base
- road network
- remote sensing
- building blocks
- active databases
- transaction model
- expert systems