A top-down proof procedure for generalized data dependencies.
Stéphane CoulondrePublished in: Acta Informatica (2003)
Keyphrases
- data dependencies
- proof procedure
- theorem proving
- propositional logic
- relational databases
- first order logic
- normal form
- functional dependencies
- multi valued
- predicate calculus
- high level
- model theoretic
- search space
- inference rules
- database schema
- database design
- co occurrence
- decision procedures
- expert systems
- database