Flow Analysis, Linearity, and PTIME.

David Van Horn Harry G. Mairson

Published in: SAS (2008)

Keyphrases

flow analysis
information flow
data complexity
satisfiability problem
conjunctive queries
constraint databases
forensic analysis
xpath queries
image sequences
machine learning
social networks
higher order
query evaluation