Expressive Power of Unary Counters.

Michael Benedikt H. Jerome Keisler

Published in: Structures in Logic and Computer Science (1997)

Keyphrases

expressive power
pairwise
query language
first order logic
data complexity
computational properties
relational algebra
transitive closure
pattern queries
databases
data model
data management
relational calculus
relation algebra
constraint query languages