Postconditional Semantics of Data Base Queries.
Naphtali RishePublished in: Mathematical Foundations of Programming Semantics (1985)
Keyphrases
- database
- query language
- relational calculus
- relational operators
- database query languages
- query answers
- query processing
- relational algebra
- aggregate functions
- sparql queries
- formal semantics
- efficient processing
- database queries
- open world
- query containment
- databases
- conceptual schema
- relational databases
- user queries
- web search engines
- response time
- complex queries
- query evaluation
- expressive power
- data base management systems
- stored data
- metadata
- consistent query answering
- web search
- logic programs
- logic programming
- relational database systems
- rdf data
- range queries
- indexing techniques