Some Results on the Expressive Power and Complexity of LSCs.

David Harel Shahar Maoz Itai Segall

Published in: Pillars of Computer Science (2008)

Keyphrases

expressive power
query language
exptime complete
first order logic
data complexity
transitive closure
computational properties
relational algebra
artificial intelligence
decision problems
relational calculus
database
databases
database query languages
constraint query languages
user defined aggregates