Updates by Reasoning about States.

Georg Lausen Bertram Ludäscher

Published in: East/West Database Workshop (1994)

Keyphrases

formal theory
spatial reasoning
initial state
databases
real time
information retrieval
website
image segmentation
update semantics