Prime Normal Forms in Belief Merging.
Jerusa MarchiLaurent PerrusselPublished in: FLAIRS Conference (2011)
Keyphrases
- normal form
- belief merging
- belief revision
- nested relations
- relational databases
- database design
- functional dependencies
- relational algebra
- database theory
- formal definitions
- belief base
- prime implicates
- data dependencies
- relational calculus
- belief change
- function symbols
- propositional logic
- merging operators
- expressive power
- multi dimensional