XPath-Logic and XPathLog: A Logic-Programming Style XML Data Manipulation Language
Wolfgang MayPublished in: CoRR (2003)
Keyphrases
- logic programming
- xml documents
- data manipulation language
- xml data
- data types
- xpath queries
- logic programs
- data model
- xml queries
- database systems
- classical logic
- deductive databases
- nonmonotonic reasoning
- logic programming language
- computational logic
- answer set programming
- query evaluation
- knowledge representation
- answer sets
- knowledge base
- xml schema
- classical first order logic
- programming language
- relational data
- query language
- path expressions
- propositional variables
- declarative semantics
- query processing
- integrity constraints
- metadata
- reasoning about actions
- relational databases
- data structure
- default logic
- databases
- constraint logic programming
- fixpoint
- stable models
- linear logic
- normal logic programs
- probability theory
- transitive closure
- machine learning