A Sound and Complete Axiomatization of Functional Dependencies: A Formal System With Only Two Inference Rules.
Mirko MalekovicPublished in: Informatica (Slovenia) (1995)
Keyphrases
- inference rules
- functional dependencies
- sound and complete axiomatization
- inclusion dependencies
- integrity constraints
- relational databases
- database design
- normal form
- theorem proving
- database schemes
- first order logic
- relational model
- modal logic
- data dependencies
- xml documents
- conflict free
- theorem prover
- set of functional dependencies
- universal relation
- conditional logic
- belief revision
- database
- user defined
- data model
- approximate functional dependencies
- xml keys
- database schema
- multivalued dependencies
- conditional probabilities
- object oriented
- database systems