On the Antecedent Normal Form of Conditional Knowledge Bases.

Christoph Beierle Steven Kutsch

Published in: ECSQARU (2019)

Keyphrases

normal form
knowledge base
relational databases
functional dependencies
database design
relational algebra
description logics
nested relations
information content
data dependencies
relational database theory
prime implicates
logic programming
integrity constraints
database
object oriented
boolean expressions