A logical account of uncertain databases based on linear logic.
Sungwoo ParkSeung-won HwangPublished in: ICDT (2009)
Keyphrases
- linear logic
- uncertain databases
- logical framework
- logical theories
- uncertain data
- formal semantics
- frequent itemset mining
- fixed point
- logic programming
- cut elimination
- sequent calculus
- mining algorithm
- desirable properties
- inference rules
- data sets
- itemset mining
- mining frequent itemsets
- mining frequent patterns
- general purpose
- data mining