A Transformation System for Unique Minimal Normal Forms of Conditional Knowledge Bases.
Christoph BeierleChristian EichhornGabriele Kern-IsbernerPublished in: ECSQARU (2017)
Keyphrases
- normal form
- knowledge base
- database design
- prime implicates
- relational databases
- database theory
- functional dependencies
- nested relations
- information content
- relational algebra
- knowledge based systems
- description logics
- formal definitions
- data dependencies
- multi valued
- expert systems
- null values
- relational database theory
- database
- complex objects
- data types
- database systems
- case study