Skip to content

An efficient Ternary Search Tree and persistent database for LuaJIT

License

Notifications You must be signed in to change notification settings

Gundolf68/tstdb

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

53 Commits
 
 
 
 
 
 

Repository files navigation

tstdb

An efficient Ternary Search Tree and persistent database for LuaJIT

Ternary search trees are a somewhat underrated data structure. This is due, among other things, to the often naïve implementation. Thus, in many cases the following structure is chosen for the nodes (in C):

typedef struct sNode Node;
struct sNode { char splitchar; char flag; Node *high; Node *low; Node *equal; };

On a 64-bit system, each node has a size of 32 bytes. As we will see, this size can be easily halved. Also, in many cases, memory is allocated individually for each node during insertion, which is very inefficient. The solution to both problems is to use an array-based tree where the low/equal/high structure members represent array indices:

typedef struct { char splitchar; char flag; uint32_t high; uint32_t low; uint32_t equal; } Node;

This reduces the node size to 16 bytes and we can allocate memory for the array of nodes in advance. With a uint32_t as index, 2^32 nodes can be addressed, which is a lot of memory (64GB), since Ternary Search Trees are very space efficient. A German dictionary with 356008 words and an average word length of 12 bytes requires 780953 nodes = 2.2 nodes per word (and German words can be very long: "Telekommunikationsüberwachungsverordnung". Because of the shared prefixes, if you add the plural "Telekommunikationsüberwachungsverordnungen" the word consumes only 2 new nodes).

Basic usage

-- import 
local TSTDB = require("tstdb")

-- create an instance  
local db = TSTDB()

-- insert some keys
db.put("bananas")
db.put("apples")
db.put("cherries")

-- check if a key exists
if db.get("apples") then print("apples!") end

-- print all keys in sorted order
db.keys(function(key) print(key) end)

-- shorter version:
db.keys(print)

-- print all keys in descending order
db.keys(print, true)

-- search for keys with a pattern
db.search("ba*", function(key) print(key) end)

-- search for keys with a more challenging pattern
db.search("*rr*s", print)

-- remove a key
db.remove("apples")

-- remove keys with a pattern
db.search("ba*", db.remove)

-- print the number of keys
print(db.key_count())

-- print the number of nodes
print(db.node_count())

-- reset the tree
db.clear()

The put method returns a boolean value indicating whether the key was added (true) or already present (false). The same is true for the remove method.

Persistence

To make the tree persistent, a filename can be passed to the constructor:

local db, err = TSTDB("fruits.db")
if not db then
    -- your errorhandling here
    print(err)
    return
end
-- your code here
db.close()

When using a persistent tree, it is important to check the return value of the constructor, since various errors can occur when working with files (no write permissions, corrupt database files, etc.). If the file exists, the content is loaded, otherwise it is created. All changes (put, remove, optimize) are written to the file immediately. The database is fail-safe: even in the event of a power failure or program crash during a write operation, the database is automatically repaired at the next startup. The database format is human readable so that it can be edited with an text editor:

TSTDB
7       bananas
6       apples
8       cherries
-6      apples

A database file starts with the header "TSTDB" in the first line. Each entry starts with the length (in bytes) of the key, followed by a tab (ASCII 9) and the key. If the length is negative, the following key is removed.

Optimization

Ternary Search Trees are sensitive to the order of the inserted words: if you insert the keys in sorted order you end up with a long skinny tree. You can check the state of the tree with the state method:

print(db.state())

This method returns a number between 0 (completely unbalanced) and 1 (completely balanced). The optimize method rebuilds the tree by reinserting all keys in random order:

db.optimize()

It is also useful to call this method when you have removed many keys. Note that the number of nodes always remains the same, no matter in which order the keys are inserted. The tree can be displayed using the dump method:

local db = TSTDB()
db.put("banana")
db.put("apples")
db.put("bananas")
db.dump()

Output:

node	char	low	equal	high	flag
1	'b'	7	2	0	0
2	'a'	0	3	0	0
3	'n'	0	4	0	0
4	'a'	0	5	0	0
5	'n'	0	6	0	0
6	'a'	0	13	0	1
7	'a'	0	8	0	0
8	'p'	0	9	0	0
9	'p'	0	10	0	0
10	'l'	0	11	0	0
11	'e'	0	12	0	0
12	's'	0	0	0	1
13	's'	0	0	0	1

Use as database

Ternary Search Trees are underestimated mainly because they are usually only used as a sorted set. However, they can be used very efficiently as a (simple) database. Let's make a little example:

local TSTDB = require("tstdb")

local db = TSTDB()
-- insert the first user
db.put("/users/walter/")
db.put("/users/walter/password/secret123")
db.put("/users/walter/group/admin")
db.put("/users/walter/hobbies/cooking")
db.put("/users/walter/hobbies/counting money")
db.put("/users/walter/friends/jesse")
-- insert a second user
db.put("/users/jesse/")
db.put("/users/jesse/password/verysecret")
db.put("/users/jesse/group/standard")
db.put("/users/jesse/hobbies/sleeping")
db.put("/users/jesse/hobbies/party")

The character '/' as path separator has (for now) no special meaning for the TST - you can use any char.

Now some queries. Suppose a user wants to log in:

if db.get("/users/" .. name .. "/password/" .. password) then
    print("login ok")
else
    print("login failed")
end

To query all users, we use the search method, which takes a text pattern with one or more wildcards and a callback function as parameters:

db.search("/users/*/", function(key) print(key) end)
-- shorter:
db.search("/users/*/", print)

Which gives us all the results in alphabetical order:

/users/jesse/  
/users/walter/

If only the username and not the whole key is needed, then the search method can be called with a third parameter that selects the segment. The default separator is '/' (so the slash has a special meaning after all - at least for the search method) but you can set the separator to any other char:

db.search("/users/*/", print, 2)
-- print the current separator
print(db.separator())
-- set a dot as new separator
db.separator(".")
print(db.separator())

Output:

jesse  
walter
/
.

Next query: Count all users in the "admin" group:

local count = 0
db.search("/users/*/group/admin", function() count = count + 1 end)
print(count)

Search all users who like to cook and are in the admin group:

db.search("/users/*/hobbies/cooking", function(name) 
    if db.get("/users/" .. name .. "/group/admin") then print(name) end 
end, 2)

If the number of users that like to cook is much larger than the number of admins, then the other way around is better:

db.search("/users/*/group/admin", function(name) 
    if db.get("/users/" .. name .. "/hobbies/cooking") then print(name) end 
end, 2)

Search all friends of Walter who have at least one hobby in common with him:

db.search("/users/walter/friends/*", function(friend)
    db.search("/users/" .. friend .. "/hobbies/*", function(hobby)
        if db.get("/users/walter/hobbies/" .. hobby) then
            print(friend .. " -> " .. hobby)
        end
    end, 4) 
end, 4)

Pitfalls

Multiple wildcards

Be careful when searching with multiple wildcards:

db.put("bananas")
db.search("*an*s", print)

Then we get the same key twice:

bananas
bananas

This is not an error, since every possible combination is traversed by the tree: bananas and bananas.

Updating database entries

Suppose we want to change jesse's group from "standard" to "admin" in the user database above, then the old key "/users/jesse/group/standard" must be removed, otherwise he will be a member of both the "standard" and "admin" groups at the same time (of course, this can also be intentional).

About

An efficient Ternary Search Tree and persistent database for LuaJIT

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages