Efficient Consistency Proofs for Generalized Queries on a Committed Database.
Rafail OstrovskyCharles RackoffAdam D. SmithPublished in: ICALP (2004)
Keyphrases
- database
- query language
- indexing structure
- databases
- database queries
- relational databases
- data sets
- update operations
- metadata
- data model
- efficient query processing
- null values
- answering queries
- relational database systems
- theorem proving
- indexing techniques
- query logs
- similarity search
- response time
- database systems
- query evaluation
- web search engines
- database applications
- statistical databases
- database management systems
- database objects
- query patterns
- data sources
- stored data
- information retrieval