A Tiny JavaScript Database System