欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Database
来自开放百科 - 灰狐
开源项目
- PostgreSQL : 一种非常复杂的对象-关系型数据库管理系统(ORDBMS),也是目前功能最强大,特性最丰富和最复杂的自由软件数据库系统。
- phpPgAdmin : PostgreSQL的图形化管理工具,使用PHP语言编写。
- MySQL : 快速的多线程、多用户、牢靠的SQL(结构化查询语言)开源数据库服务器,支持Cluster技术。
- phpMyAdmin : MySQL的图形化管理工具,使用PHP语言编写。
- Berkeley DB : 一种在特定的数据管理应用程序中广泛使用的嵌入式数据库系统,支持编程语言包括C, C++, Java, Perl, Tcl, Python 和 PHP。
- H2 Database Engine : Java 编写的数据库引擎,支持 JDBC 和 ODBC 接口,有嵌入式和服务器两种使用模式,支持群集操作。
- db4o
- Ingres
- Apache Derby : 源于IBM的Java Cloudscape数据库,支持标准的SQL语法, 软件有2M大小,可以作为嵌入式或者独立运行的数据库应用。
- SQLite
- solidDB
- Firebird : 源于Borland公司的开源版数据库Interbase6.0,用C和C++开发,功能能完备,管理工具丰富,可作为独立数据库或者嵌入数据库。
- HSQLDB : 纯Java开发的数据库, 可以透过jdbc来存取,支持 ANSI-92 标准的 SQL 语法, 而且他占的空间很小, 大约只有160K。
- InnoDB
- eXist: Open Source Native XML Database - http://exist-db.org/
- picoSQL
- skipdb: a sorted key/value database - http://www.dekorte.com/projects/opensource/SkipDB/
- twindb: a free transactional BerkeleyDB database - http://www.dekorte.com/projects/opensource/TwinDB/
- QDBM: Quick Database Manager - http://qdbm.sourceforge.net/
商业产品
相关链接
- 开源数据库分析与对比:开源之旅——数据库篇
上 http://cnw2005.cnw.com.cn/store/detail/detail.asp?pageI=0&columnid=964&articleid=29115
中 http://cnw2005.cnw.com.cn/store/detail/detail.asp?pageI=1&columnid=964&articleid=29115
下 http://cnw2005.cnw.com.cn/store/detail/detail.asp?pageI=2&columnid=964&articleid=29115
- TechTarget IT专家网:数据库 http://searchdatabase.techtarget.com.cn/
- 数据仓库之路 http://www.dwway.com/
分享您的观点