Incremental whole-program analysis in Datalog with lattices.
Tamás SzabóSebastian ErdwegGábor BergmannPublished in: PLDI (2021)
Keyphrases
- expressive power
- deductive databases
- query answering
- query language
- datalog programs
- integrity constraints
- relational algebra
- data driven
- concept lattice
- transitive closure
- information systems
- logic programming
- genetic algorithm
- machine learning
- incremental learning
- efficient incremental
- fixpoint
- data sets
- high level
- social networks
- artificial intelligence
- information retrieval
- data mining
- real world