Reasoning about recursive tree traversals.
Yanjun WangJinwei LiuDalin ZhangXiaokang QiuPublished in: PPoPP (2021)
Keyphrases
- tree structure
- tree structures
- path expressions
- index structure
- spanning tree
- information retrieval
- genetic algorithm
- decision trees
- multi dimensional
- spatial reasoning
- hierarchical structure
- tree nodes
- tree models
- recursive queries
- datalog programs
- graph structure
- b tree
- r tree
- real time
- search algorithm
- machine learning
- data mining
- databases
- data sets