#StackBounty: #reference-request #lo.logic #db.databases #finite-model-theory #first-order-logic Order-invariant conjunctive queries ar…

Bounty: 150

I’m looking for a reference for Exercise 6.11 from Libkin’s FMT book:

Prove that an order-invariant conjunctive query is FO-definable without the order relation.

All help is appreciated.


Get this bounty!!!

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.