光滑的

Scalk:Scala的函数关系映射。SLIK是斯卡拉的一个现代数据库查询和访问库。它允许您处理存储的数据,就像使用Scala集合一样,同时可以完全控制何时发生数据库访问和传输哪些数据。您可以在Scala中编写数据库查询而不是SQL,从而从Scala的静态检查、编译时安全性和组合性中获益。SLIKE的特点是一个可扩展的查询编译器,它可以为不同的后端生成代码。

ZBMaCT中的参考文献(1篇文章中提到)

显示1的结果1。
按年份排序(引文

  1. Katja,Kohlhase,米迦勒;拉贝,弗洛里安:走向统一的数学数据基础设施:数据库和接口生成(2019)