Deciding Boundedness of Monadic Sirups.

Stanislav Kikot Agi Kurucz Vladimir V. Podolskii Michael Zakharyaschev

Published in: PODS (2021)

Keyphrases

datalog programs
sufficient conditions
deductive databases
datalog queries
query answering
fixpoint
recursive queries
data mining
conjunctive queries
database
objective function
np hard
decision makers