Logics with Aggregate Operators.

Lauri Hella Leonid Libkin Juha Nurmonen Limsoon Wong

Published in: LICS (1999)

Keyphrases

aggregate functions
expressive power
modal logic
image processing
building blocks
inference rules
modal operators
epistemic logic
database
databases
artificial intelligence
query language
classical logic
computational properties