Decidable Fragments of Simultaneous Rigid Reachability.

Véronique Cortier Harald Ganzinger Florent Jacquemard Margus Veanes

Published in: ICALP (1999)

Keyphrases

transitive closure
three dimensional
data mining
first order logic
database
information retrieval
datalog programs
state space
query containment
rigid motion
spatial databases
conjunctive queries
query evaluation
query language
case study
website
data sets