Convergence of Datalog over (Pre-) Semirings.
Mahmoud Abo KhamisHung Q. NgoReinhard PichlerDan SuciuYisu Remy WangPublished in: PODS (2022)
Keyphrases
- containment of conjunctive queries
- deductive databases
- expressive power
- query language
- convergence rate
- query answering
- convergence speed
- datalog programs
- constraint satisfaction problems
- data complexity
- iterative algorithms
- inclusion dependencies
- logic programming
- neural network
- xml documents
- transitive closure
- faster convergence
- particle swarm optimization
- database languages
- computational complexity