Name
Abstract | ||
|---|---|---|
Database queries explicitly containing existential and universal quantification become increasingly important in a number of areas such as integrity checking, interaction of databases and AI systems, heterogeneous databases, and statistical databases. Using a concept of range nesting in relational calculus expressions, the paper describes evaluation algorithms and transformation methods for an important class of quantified relational calculus queries called perfect expressions. This class includes well-known classes of "easy" queries such as tree queries (with free and existentially quantified variables only), and complacent (disconnected) queries. |
Year | DOI | Venue |
|---|---|---|
1983 | 10.1145/582192.582225 | SIGMOD Conference |
Keywords | Field | DocType |
working paper | Data mining,Relational calculus,Conjunctive query,Expression (mathematics),Computer science,Theoretical computer science,Spatial query,Universal quantification,Database | Conference |
Volume | Issue | ISSN |
13 | 4 | 0163-5808 |
ISBN | Citations | PageRank |
0-89791-104-0 | 24 | 14.84 |
References | Authors | |
15 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Matthias Jarke | 1 | 5071 | 1762.03 |
| Jürgen Koch | 2 | 44 | 19.88 |