Conference paper
Horn clauses and the fixpoint query hierarchy
Ashok K. Chandra, David Harel
SIGMOD/PODS 1982
Paper
“do considered od” considered odder than “do considered ob”
Abstract
No abstract available.
Related
Conference paper
Structure and complexity of relational queries
Ashok K. Chandra, David Harel
FOCS 1980
David Harel
Theoretical Computer Science
David Harel
Information Processing Letters