Keyphrases
- integrity constraints
- xml documents
- conjunctive queries
- query evaluation
- transitive closure
- query containment
- xml data
- deductive databases
- query answering
- xpath queries
- data complexity
- functional dependencies
- database schema
- xml schema
- database integrity
- integrity checking
- query language
- relational databases
- expressive power
- constraint checking
- inclusion dependencies
- first order logic
- data model
- path expressions
- decision procedures
- query rewriting
- database transactions
- semantic query optimization
- unions of conjunctive queries
- probabilistic databases
- query optimization
- xml queries
- regular path queries
- data management
- xml databases
- normal form
- semi structured data
- regular expressions
- complex objects