欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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
- db4o
- Ingres
- Derby
- SQLite
- solidDB
- Firebird
- 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/
商业产品
相关链接
- TechTarget IT专家网:数据库 http://searchdatabase.techtarget.com.cn/
- 数据仓库之路 http://www.dwway.com/
分享您的观点