The Synthesis and Diagnosis Rules for Conceptual Data Warehouse Design Based on First-Order Logic.
Opim Salim SitompulShahrul Azman Mohd. NoahPublished in: CITA (2005)
Keyphrases
- first order logic
- data warehouse design
- logical rules
- horn clauses
- expressive power
- inference rules
- propositional logic
- probabilistic reasoning
- theorem proving
- data warehouse
- theorem prover
- knowledge representation
- transitive closure
- data warehousing
- representation language
- database design
- markov networks
- inductive logic programming
- highly expressive
- probabilistic graphical models
- machine learning
- markov logic
- association rules
- conceptual model