Dyn-FO: A Parallel, Dynamic Complexity Class.

Sushant Patnaik Neil Immerman

Published in: PODS (1994)

Keyphrases

parallel processing
first order logic
dynamic environments
vapnik chervonenkis dimension
data sets
query language
data integration
parallel implementation
multi class classification
tractable cases
learning algorithm
database systems
lower bound
mobile robot
scheduling problem
space complexity