Keyphrases
- normal form
- argumentation frameworks
- argumentation semantics
- database design
- relational databases
- conflict free
- practical reasoning
- functional dependencies
- nested relations
- decision problems
- abstract argumentation frameworks
- relational algebra
- abstract argumentation
- data dependencies
- information content
- preference relations
- strong equivalence
- logic programming
- desirable properties
- theorem proving
- artificial intelligence
- expert systems
- database systems