Relaxed Safeness in Datalog-Based Policies.
Moritz Y. BeckerJason F. MackayPublished in: RuleML America (2011)
Keyphrases
- expressive power
- deductive databases
- query language
- optimal policy
- optimal solution
- logic programming
- integrity constraints
- query answering
- relational calculus
- artificial intelligence
- database languages
- control policies
- datalog programs
- existentially quantified
- decision processes
- data complexity
- normal form
- data integration
- markov chain
- data warehouse
- expert systems
- search algorithm
- website
- information systems