一、介绍

FastDb是高效的内存数据库系统，具备实时能力及便利的C++接口。FastDB不支持client-server架构因而所有使用FastDB的应用程序必须运行在同一主机上。FastDB针对应用程序通过控制读访问模式作了优化。通过降低数据传输的开销和非常有效的锁机制提供了高速的查询。对每一个使用数据库的应用数据库文件被影射到虚拟内存空间中。因此查询在应用的上下文中执行而不需要切换上下文以及数据传输。fastdb中并发访问数据库的同步机制通过原子指令实现，几乎不增加查询的开销。fastdb假定整个数据库存在于RAM中，并且依据这个假定优化了查询算法和接口。此外，fastdb没有数据库缓冲管理开销，不需要在数据库文件和缓冲池之间传输数据。这就是fastdb运行速度明显快于把数据放在缓冲池中的传统数据库的原因。

select-condition ::= (expression ) ( traverse ) ( order )expression ::=disjunctiondisjunction ::= conjunction | conjunction or disjunctionconjunction ::=comparison | comparison and conjunctioncomparison ::=operand = operand |operand != operand     |operand <> operand         |operand < operand         |operand <= operand         |operand > operand         |operand >= operand         |operand (not) like operand         | operand (not) like operand escape string        |operand (not) in operand        |operand (not) in expressions-list        |operand (not) between operandand operand        |operand is (not) nulloperand ::=additionadditions ::= multiplication        | addition + multiplication        | addition|| multiplication        |addition -  multiplicationmultiplication ::=power         | multiplication* power        | multiplication / powerpower ::=term        | term ^ powerterm ::= identifier | number | string         |true | false | null         |current | first | last        |( expression )         |not comparison        |- term        | term[ expression ]         |identifier . term         |function term        | existsidentifier : termfunction ::=abs | length | lower | upper        | integer |real | string | user-functionstring ::=' { { any-character-except-quote } ('') }'expressions-list ::=( expression { , expression })order ::= order by sort-listsort-list ::=field-order { , field-order }field-order ::= [length]field (asc | desc)field ::=identifier { . identifier }traverse ::=start from field ( follow by fields-list )fields-list ::= field { , field }user-function ::=identifier

标识符大小写敏感，必须以一个a-z，A-Z，_ 或者$字符开头，只包含a-z, A-Z, 0-9,_或者$字符，不能使用SQL保留字。

 

可以使用ANSI标准注释，所有位于双连字符后直到行末的字符都将被忽略掉。

fastdb扩展了ansi标准sql操作符，支持位运算。and/of操作符不仅可以运用到布尔操作数也可以操作整形操作书。and/or运用到整形操作数返回的结果是一个整形值，这个值是对操作数进行按位and或者按位or得到的结果。对于小的集合位运算是高效的。fastdb也支持对整形和浮点型的升幂运算（x^y）

Structures

Arrays

exists i: (contract[i].company.location = 'US')将选择由位于‘US'的公司载运的合同的所有细节，而下面的查询：not exists i: (contract[i].company.location = 'US')将选择由'us'之外的公司载运的合同的所有细节可以由嵌套的exists子句。使用嵌套exist算子等同于使用相应的索引变量的嵌套循环。例如查询   exists column: (exists row: (matrix[column][row] = 0))将选择matrix字段的元素为0的所有记录，该字段拥有整形数组的数组数据类型。这个构造等同于下面的两层嵌套循环：bool result = false;       for (int column = 0; column < matrix.length(); column++) {            for (int row = 0; row < matrix[column].length(); row++) {           if (matrix[column][row] == 0) {                      result = true;              break;                 }            }       }

Strings

References

引用可以用与访问结构元组同样的点表达式来解析，例如下面的查询：        company.address.city = 'Chicago'将访问的Contract记录的company元组引用的Supplier表中的记录并展开其中的address字段的city元组。引用可以用is null或is not null断言来检查。引用也可以互相比较是否相等以及与null关键字比较。解析null引用时fastdb将抛出异常。一个特别的关键字current可以用来在表查找时指向当前记录。通常current关键字用来当前记录标志符与其它引用的比较或者在引用数组中定位当前记录。例如，下面的查询将在Contract表中查找所有活动的合同（假定cancelContracts的数据类型为dbArray<dbReference<Contract>>）         current not in supplier.canceledContracts

fastdb提供特别的运算符以通过引用来递归遍历记录

Functions

Predefined functions
Name	Argument type	Return type	Description
abs	integer	integer	absolute value of the argument
abs	real	real	absolute value of the argument
integer	real	integer	conversion of real to integer
length	array	integer	number of elements in array
lower	string	string	lowercase string
real	integer	real	conversion of integer to real
string	integer	string	conversion of integer to string
string	real	string	conversion of real to string
upper	string	string	uppercase string

fastdb允许用户自定义函数和运算符。函数应当至少有一个但不超过3个参数，参数类型可以是字符串、整形、布尔型、引用或者用户定义（源二进制）类型。返回值应当是整形、实数、字符串或者布尔型。

用户定义函数应当用USER_FUNC(f)宏来注册，该宏创建一个dbUserFunction类的静态对象，把函数指针和函数名绑定。

在应用中有两种方式来实现这些函数。第一个只能用于只有一个参数的函数，这个参数必须是int8、real8或者char *类型。函数返回值应当是int8、real8、char*或者bool。如果函数有不止一个参数或者接受不同类型的参数(多形)则参数应当以引用的方式传送给dbUserFunctionArgument结构。这个结构包含一个type字段，其值可以用在函数实现中检测传入的参数类型并且与参数值结合。下表映像了参数类型以及参数值的取值。

Argument type	Argument value	Argument value type
dbUserFunctionArgument::atInteger	u.intValue	int8
dbUserFunctionArgument::atBoolean	u.boolValue	bool
dbUserFunctionArgument::atString	u.strValue	char const*
dbUserFunctionArgument::atReal	u.realValue	real8
dbUserFunctionArgument::atReference	u.oidValue	oid_t
dbUserFunctionArgument::atRawBinary	u.rawValue	void*

#include <math.h>        ...        USER_FUNC(sin);函数只能在定义的应用中使用。函数对于其他应用和交互sql是不可访问的。在返回字符串的函数中，返回的字符串必须用new运算符复制，因为fastdb在拷贝完返回值后将调用析构函数。在fastdb，函数的参数可以（当不是必须）用圆括号括起来，因此下面的表达式都是合法的：        '$' + string(abs(x))        length string y 带两个参数的函数也可以当作运算符。考虑下面的例子，其中定义了函数contains进行大小写敏感的字串查找。     bool contains(dbUserFunctionArgument& arg1, dbUserFunctionArgument& arg2) {          assert(arg1.type == dbUserFunctionArgument::atString             && arg2.type == dbUserFunctionArgument::atString);         return stristr(arg1.u.strValue, arg2.u.strValue) != NULL;     }      USER_FUNC(contains);         dbQuery q1, q2;     q1 = "select * from TestTable where name contains 'xyz'";     q2 = "select * from TestTable where contains(name, 'xyz')";在这个例子中，查询q1和q2是等价的。