Login / Signup
Cardinalities of Models and the Expressive Power of Monadic Predicate Logic (with Equality and Individual Constants).
Andrzej Pietruszczak
Published in:
Reports Math. Log. (1996)
Keyphrases
</>
expressive power
predicate logic
first order logic
query language
transitive closure
relational algebra
data complexity
computational properties
database query languages
computational linguistics
recursive queries
formal logic
artificial intelligence
expert systems
logic programs
deductive databases