diff --git a/pandamonium-theorem-prover/.travis.yml b/pandamonium-theorem-prover/.travis.yml
index 3dcae7a..7489a86 100644
--- a/pandamonium-theorem-prover/.travis.yml
+++ b/pandamonium-theorem-prover/.travis.yml
@@ -1,4 +1,7 @@
 language: java
+services:
+  - mysql
+
 install: true
 
 sudo: false
@@ -10,6 +13,10 @@ addons:
 before_install:
   - chmod +x pandamonium-theorem-prover/gradlew
 
+before_script:
+  - mysql -u root -e 'CREATE DATABASE pandamonium;'
+  - mysql -u root pandamonium < pandamonium-theorem-prover/persistence/sql/local_development.sql
+
 stages:
   - name: build
   - name: unitTest
diff --git a/pandamonium-theorem-prover/persistence/sql/local_development.sql b/pandamonium-theorem-prover/persistence/sql/local_development.sql
index 9b819aa..ac034d3 100644
--- a/pandamonium-theorem-prover/persistence/sql/local_development.sql
+++ b/pandamonium-theorem-prover/persistence/sql/local_development.sql
@@ -1,13 +1,13 @@
 create database pandamonium;
 use pandamonium;
-create table accounts {
+create table accounts (
 id int not null auto_increment primary key unique,
 username varchar(50) not null unique,
 password varchar(256) not null,
 administrator_status boolean default false,
 last_login date,
 version int default 0
-};
+);
 insert into accounts (username, password, administrator_status)
 values ('admin', 'secret', true),
 ('atusa', 'secret', true),
@@ -15,6 +15,10 @@ values ('admin', 'secret', true),
 ('BrittanyBi', 'secret', true),
 ('lanlanzeliu', 'secret', true),
 ('tramanh305', 'secret', true);
-create table definitions {
-
-}
\ No newline at end of file
+create table definitions (
+id int not null auto_increment primary key unique,
+name varchar(200) not null,
+definition json not null,
+notation json,
+version int default 0
+);
\ No newline at end of file