Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions.

K. Tuncay Tekle Yanhong A. Liu

Published in: CoRR (2016)

Keyphrases

data structure
data analysis
statistical analysis
social networks
data sources
knowledge representation
worst case
real time
artificial intelligence
relational databases
computational cost
integrity constraints