GitHub - sana-malik/dbproj: Databases project.

db project!!

Name		Name	Last commit message	Last commit date
Latest commit History 107 Commits
paper		paper
times		times
.gitignore		.gitignore
README.md		README.md
all-formulas.txt		all-formulas.txt
all-new-queries.txt		all-new-queries.txt
all-queries-sql.txt		all-queries-sql.txt
convert.py		convert.py
converter-SQL.py		converter-SQL.py
converter.py		converter.py
driver.py		driver.py
experiments-pl.py		experiments-pl.py
experiments.py		experiments.py
large.pl		large.pl
medium.pl		medium.pl
mongo2prolog.py		mongo2prolog.py
mysql_runner.py		mysql_runner.py
run_experiments.py		run_experiments.py
sat-3-queries.txt		sat-3-queries.txt
sat-4-queries.txt		sat-4-queries.txt
sat-6-queries.txt		sat-6-queries.txt
sat-long-queries.txt		sat-long-queries.txt
sat-medium-queries.txt		sat-medium-queries.txt
sat-short-queries.txt		sat-short-queries.txt
small.pl		small.pl
test-queries.txt		test-queries.txt
unsat-3-queries.txt		unsat-3-queries.txt
unsat-4-queries.txt		unsat-4-queries.txt
unsat-6-queries.txt		unsat-6-queries.txt
unsat-long-queries.txt		unsat-long-queries.txt
unsat-medium-queries.txt		unsat-medium-queries.txt
unsat-short-queries.txt		unsat-short-queries.txt
validator.py		validator.py
validator.pyc		validator.pyc

Provide feedback