Keyphrases
- epistemic logic
- functional dependencies
- model checking
- modal logic
- relational operators
- relational databases
- integrity constraints
- normal form
- database design
- approximate functional dependencies
- data transformation
- multi agent systems
- logical framework
- dynamic epistemic logic
- xml documents
- multi faceted
- conflict free
- inference rules
- formal semantics
- user defined
- mathematical theory
- model checker
- bayes net
- case study
- set of functional dependencies
- formal verification
- data mining
- temporal logic
- data model
- data structure