Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net
Saeid PashazadehMaryam PashazadehPublished in: CoRR (2012)
Keyphrases
- functional dependencies
- colored petri nets
- relational databases
- integrity constraints
- logical rules
- petri net
- normal form
- approximate functional dependencies
- data transformation
- database design
- relational model
- rule learning
- bayes net
- conflict free
- rule sets
- decision rules
- similarity relations
- user defined
- database schemes
- inclusion dependencies
- xml documents
- classification rules
- causal models
- set of functional dependencies
- data dependencies
- data integration
- association rules
- user interface
- relational schema
- efficient learning
- database