TinyDB - Extensions