Login / Signup
On the Expressive Power of Canonical Abstraction.
Shmuel Sagiv
Published in:
VMCAI (2004)
Keyphrases
</>
expressive power
query language
data complexity
first order logic
computational properties
transitive closure
high level
relational algebra
pattern queries
relational calculus
databases
data mining
search algorithm
knowledge representation
user defined aggregates