XML Declarative Description with First-Order Logical Constraints.
Chutiporn AnutariyaVilas WuwongseKiyoshi AkamaPublished in: Comput. Intell. (2005)
Keyphrases
- high level
- higher order
- logical structure
- relational databases
- knowledge representation
- markup language
- constraint satisfaction
- declarative language
- logical formulas
- predicate calculus
- constrained optimization
- databases
- domain independent
- xml data
- object oriented
- xml documents
- first order logic
- xml retrieval
- probabilistic logic
- database systems
- quantifier elimination
- quantifier free