Others involved:
Start date: January 1992
Deductive or logic databases hold considerable potential for improving the ways in which geographical information is stored and queried. The purpose of this project is to design and implement in prototype a deductive database which stores predicates recording known spatial and semantic relationships, as well as rules that can be used to deduce further relationships from the stored predicates. The database also includes procedures that can operate on stored geometric data to establish the truth of spatial relationships that cannot be deduced from the stored spatial relation predicates. A query processor is being developed with a capacity to answer queries by one or other of a combination of direct matching with stored facts, logical deduction, and procedural computation.
Page by Kevin H. Sewell
Last updated 24/October/95