On the Expressive Power of Circumscriptions.

Péter Ecsedi-Tóth

Published in: ISMIS (1988)

Keyphrases

expressive power
query language
first order logic
data complexity
computational properties
relational algebra
transitive closure
relational calculus
pattern queries
database
constraint query languages
data model
propositional logic
finite automata