Expressive power and abstraction in Essence.

David G. Mitchell Eugenia Ternovska

Published in: Constraints An Int. J. (2008)

Keyphrases

expressive power
query language
data complexity
first order logic
relational algebra
transitive closure
computational properties
high level
pattern queries
databases
relational calculus
recursive queries
knowledge base
complex objects
propositional logic
constraint query languages