Source Safe Queries
Theorem 4.
1. All ss-FO+ queries are computable by a browser machine.
2. All ss-Datalog queries are eventually computable by a browser machine.
Theorem 5. All queries in ss-FO are computable by a browser machine.
There are queries that are not eventually computable!
Things get problematic when negation and quantifiers are involved