指令被象征性执行之后，Jinq 对副作用作精简。由于变量 d 和 e 是局部变量，它们的任何变化在函数退出后都会被丢弃，所以这些副作用可以忽略不计。Jinq也知道 Customer.getCountry() and String.equals() 方法没修改任何变量或显示任何输出，因此这些方法调用也可以被忽略。由此，Jinq 可以得出这样的结论：执行这个函数只会产生一个作用，它会返回 c.getCountry().equals("Belgium")。
一旦Jinq已明白在 where()方法中传递给它的函数，它可以混合数据库查询方面的知识，优先于 customers 集合来创建一个新的数据库查询。
生成数据库查询
这就是 Jinq 如何从你的代码生成数据库查询的。象征性执行的使用意味着，这种方法对于不同的Java编译器输出的不同的代码模式都是相当强大的。如果 Jinq 遇到的代码有不能转化为数据库查询的副作用，Jinq 将保持你的这些代码不变。因为一切都是用正常的Java代码写的，Jinq 可以直接运行那些代码，您的代码将产生预期的结果。
这个简单的翻译实例应该让你明白了怎样查询翻译作品。你可以确信，这些算法可以正确地从你的代码生成数据库查询。
我希望我已经让你品尝到了Java 8带来的在Java中进行数据库工作的新方式。Java 8 支持的函数式编程允许你用和为Java集合编写代码同样的方式来为数据库写代码。希望不久现有的数据库API都能被扩展以支持这些类型的查询。