Convergence of Datalog over (Pre-) Semirings.
Mahmoud Abo KhamisHung Q. NgoReinhard PichlerDan SuciuYisu Remy WangPublished in: CoRR (2021)
Keyphrases
- containment of conjunctive queries
- convergence rate
- constraint satisfaction problems
- deductive databases
- expressive power
- query answering
- query language
- logic programming
- integrity constraints
- convergence speed
- metadata
- data complexity
- iterative algorithms
- datalog programs
- neural network
- data sets
- artificial intelligence
- genetic algorithm
- initial conditions
- existentially quantified