Walking the Decidability Line for Rules with Existential Variables.
Jean-François BagetMichel LeclèreMarie-Laure MugnierPublished in: KR (2010)
Keyphrases
- existentially quantified
- query answering
- universally quantified
- logic programs
- association rules
- description logics
- rule extraction
- causal models
- rule sets
- data exchange
- line segments
- conjunctive queries
- production rules
- input variables
- data complexity
- active databases
- classification rules
- tuple generating dependencies
- random variables