HCH for Checking Containment of XPath Fragment.
Jianhua FengYuguo LiaoYong ZhangPublished in: J. Comput. Sci. Technol. (2007)
Keyphrases
- query evaluation
- automata theoretic
- transitive closure
- xml fragments
- xml documents
- temporal logic
- conjunctive queries
- query language
- regular path queries
- xml data
- query containment
- deductive databases
- expressive power
- data management
- xpath queries
- query optimization
- xml streams
- query processing
- statistical information
- database
- first order logic
- directed acyclic graph
- regular expressions
- data complexity
- type checking
- databases
- user preferences
- consistency checking
- search engine
- integrity checking
- neural network
- set valued attributes
- containment of conjunctive queries
- data sets