欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
H2
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
