A Complete Map of Conditional Knowledge Bases in Different Normal Forms and Their Induced System P Inference Relations Over Small Signatures.
Christoph BeierleJonas HaldimannSteven KutschPublished in: FLAIRS Conference (2021)
Keyphrases
- normal form
- knowledge base
- data dependencies
- functional dependencies
- database design
- relational databases
- null values
- database theory
- information content
- expert systems
- prime implicates
- relational algebra
- bayesian networks
- relational database theory
- nested relations
- formal definitions
- logic programming
- knowledge representation
- databases
- background knowledge
- multi valued
- database systems
- knowledge based systems
- description logics