Deciding boundedness of monadic sirups.

Stanislav Kikot Agi Kurucz Vladimir V. Podolskii Michael Zakharyaschev

Published in: CoRR (2021)

Keyphrases

datalog programs
sufficient conditions
deductive databases
datalog queries
query answering
conjunctive queries
database
pattern recognition
data analysis
association rules
artificial neural networks
fixpoint
recursive queries