Unification of XML Documents with Concurrent Markup.
Andreas WittDaniela GoeckeFelix SasakiHarald LüngenPublished in: Lit. Linguistic Comput. (2005)
Keyphrases
- xml documents
- document structure
- xml schema
- content and structure
- xml data
- markup language
- xml queries
- relational databases
- xml databases
- integrity constraints
- data model
- structured data
- semantic information
- structured documents
- relational data
- concurrent programs
- mutual exclusion
- xpath queries
- keyword search
- automated theorem proving
- sql queries
- document type
- theorem prover
- higher order
- neural network
- xml fragments
- knuth bendix
- databases
- semi structured data
- theorem proving
- database management systems
- relevance feedback