On an XML Database System Based on Constraint Logic Programming.
Masaya EkiTadachika OzonoToramatsu ShintaniPublished in: IC-AI (2007)
Keyphrases
- constraint logic programming
- constraint solving
- logic programming language
- answer set programming
- logic programming
- constraint programming
- temporal reasoning
- global constraints
- proof theoretic
- constraint propagation
- finite domain
- constraint satisfaction
- integrity constraints
- parallel algorithm
- constraint satisfaction problems
- logic programs
- mobile devices
- relational databases
- database