Counting Proportions of Sets: Expressive Power with Almost Order.

Argimiro Arratia Carlos E. Ortiz

Published in: LATIN (2006)

Keyphrases

expressive power
query language
first order logic
transitive closure
data complexity
relational algebra
computational properties
machine learning
pattern matching
query answering
propositional logic
relational calculus