Accelerating Program Analyses in Datalog by Merging Library Facts.
Yifan ChenChenyang YangXin ZhangYingfei XiongHao TangXiaoyin WangLu ZhangPublished in: SAS (2021)
Keyphrases
- deductive databases
- query language
- expressive power
- query answering
- computer programs
- real time
- existentially quantified
- database
- background knowledge
- program execution
- datalog programs
- integrity constraints
- digital libraries
- knowledge base
- information retrieval
- data sets
- information extraction
- knowledge representation
- statistical tests
- genetic algorithm
- high level programming