Inference Rules for Fuzzy Functional Dependencies in Possibilistic Databases.
Krzysztof MyszkorowskiPublished in: BDAS (2016)
Keyphrases
- inference rules
- inclusion dependencies
- functional dependencies
- relational databases
- databases
- fuzzy numbers
- integrity constraints
- truth values
- set of functional dependencies
- first order logic
- modal logic
- theorem proving
- fuzzy sets
- theorem prover
- normal form
- database design
- relational database theory
- data dependencies
- relational model
- universal relation
- database schemes
- database
- xml documents
- database applications
- xml keys
- conflict free
- approximate functional dependencies
- data warehouse
- null values
- horn clauses
- probability distribution