The following pages link to (Q4353557):
Displaying 5 items.
- Solutions and query rewriting in data exchange (Q388220) (← links)
- Locality and modular Ehrenfeucht-Fraïssé games (Q420850) (← links)
- Existential MSO over two successors is strictly weaker than over linear orders (Q837190) (← links)
- An Ehrenfeucht-Fraïssé game approach to collapse results in database theory (Q870360) (← links)
- Verifiable properties of database transactions (Q1281498) (← links)
