Monitoring Dynamic Integrity Constraints on Finite State Sequences and Existence Intervals.
Udo W. LipeckHeren ZhouPublished in: FMLDO (1991)
Keyphrases
- integrity constraints
- finite state
- markov chain
- markov decision processes
- integrity checking
- query answering
- model checking
- deductive databases
- constraint checking
- functional dependencies
- optimal policy
- xml documents
- conjunctive queries
- database schema
- database integrity
- inclusion dependencies
- xml schema
- dynamic environments
- hidden markov models
- data complexity
- average cost
- tree automata
- reinforcement learning
- probabilistic context free grammars
- databases