The expressive power of Malitz quantifiers for linear orderings.

Hans-Peter Tuschik

Published in: Ann. Pure Appl. Log. (1987)

Keyphrases

expressive power
first order logic
constraint query languages
transitive closure
data complexity
computational properties
relational algebra
query language
propositional logic
pattern queries
database
knowledge representation
relational calculus
machine learning
incomplete information
recursive queries