Flow analysis, linearity, and PTIME.

David Van Horn Harry G. Mairson

Published in: CoRR (2013)

Keyphrases

flow analysis
information flow
data complexity
forensic analysis
satisfiability problem
xpath queries
query evaluation
database
constraint databases
np complete
temporal logic
probabilistic databases
conjunctive queries
expressive power
data processing
database systems
artificial intelligence
data mining