What's Decidable About Arrays?

Aaron R. Bradley Zohar Manna Henny B. Sipma

Published in: VMCAI (2006)

Keyphrases

first order logic
search algorithm
transitive closure
datalog programs
focal plane
databases
real world
information retrieval
data structure
high speed
deductive databases
inference rules
linear array