欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
H2
H2 是一个 Java 编写的数据库引擎. 支持 JDBC 和 ODBC 接口. 有嵌入式和服务器两种使用模式. 包含一个 Web 控制应用, 支持群集操作.
H2 采用 MPL 许可协议，可方便的集成到用户的产品中。
在与 HSQLDB, Derby 等数据库的比较中，H2 的性能最优。性能和特性都比HSQL要好一些. 只是还没有大规模应用。 软件作者正在写MVCC内核, 因为是业余的稍微有点慢。
H2 is an SQL database engine written in Java (but also available as a native binary). JDBC and ODBC APIs are supported. Embedded and server modes are available. A Web console application is included. Clustering is supported.
License: Mozilla Public License (MPL)
Changes
Large BLOBs and CLOBs are also supported in server and cluster mode. Opening a large database is now much faster. There is support for indexed parameters in PreparedStatements. The software can be compiled with JDK 1.6. Table aliases can be used in DELETE and UPDATE. The RunScript tool can now include other files. The Hibernate dialect has changed. Bugs in the JDBC API and in EXISTS subqueries have been fixed.
Feature
- Very fast, free for everybody, source code is included
- Written Java; can be compiled with GCJ (Linux)
- Embedded, Server and Cluster modes
- JDBC and (partial) ODBC API; Web Client application
