Transitively Relational Partial Meet Horn Contraction.

Zhi Qiang Zhuang Maurice Pagnucco

Published in: IJCAI (2011)

Keyphrases

relational databases
horn contraction

propositional logic
horn logic

belief change
data model

expert systems
database schema