Stratification-based Criteria for Checking Chase Termination.
Sergio GrecoFrancesca SpezzanoIrina TrubitsynaPublished in: SEBD (2012)
Keyphrases
- type checking
- selection criteria
- neural network
- multi criteria
- evaluation criteria
- functional dependencies
- data exchange
- hidden markov models
- similarity measure
- machine learning
- real time
- multiscale
- decision trees
- query answering
- deductive databases
- website
- artificial intelligence
- active rules
- consistency checking
- term rewriting