Deduction on XML Documents: A Case Study.
Bernd D. HeumesserRalf-Dieter SchimkatPublished in: INAP (2001)
Keyphrases
- xml documents
- xml data
- xml queries
- relational databases
- structured data
- data model
- xml information retrieval
- xml databases
- inference rules
- test bed
- integrity constraints
- semantic information
- data sets
- databases
- relational data
- case study
- keyword search
- theorem proving
- genetic algorithm
- neural network
- structured documents
- search engine
- theorem prover
- xpath queries
- document structure