def showgraph():
if not 'query' in session:
return abort(403)
w = GProMWrapper()
query = session['query']
action = session['action']
conv = Ansi2HTMLConverter()
# generate a graph
if action == 'graph':
queryResult = ''
queryhash = md5(query).hexdigest()
imagefile = queryhash + '.svg'
absImagepath = 'static/' + imagefile
returncode, gpromlog, dotlog = w.generateProvGraph(
query, absImagepath, 'tmp/pg.dot')
gpromlog = conv.convert(gpromlog, full=False)
dotlog = conv.convert(dotlog, full=False)
# output query results (translate into html table)
else:
returncode, gpromlog = w.runDLQuery(query)
queryResult = gpromlog
gpromlog = conv.convert(gpromlog, full=False)
if returncode == 0:
lines = queryResult.split('\n')
numAttr = lines[0].count('|')
lines = [l for l in lines if not (not l or l.isspace())]
lines = map(lambda x: '| ' + x + 'X', lines)
if len(lines) > 1:
lines[1] = '|' + (' -- | ' * numAttr)
else:
lines += ['|' + (' -- | ' * numAttr)]
queryResult = '\n'.join(lines)
md = markdown.Markdown(extensions=['tables'])
queryResult = md.convert(queryResult)
dotlog, imagefile = '', ''
return render_template('queryresult.html',
query=session['query'],
gpromlog=gpromlog,
dotlog=dotlog,
imagefile=imagefile,
returnedError=(returncode != 0),
action=action,
queryResult=queryResult)
def showgraph():
if not 'query' in session:
return abort(403)
w = GProMWrapper()
query = session['query']
action = session['action']
topk, sSize = '', ''
if not 'topk' in session: pass
else: topk = session['topk']
if not 'sSize' in session: pass
else: sSize = session['sSize']
fPattern, recall, info = '', '', ''
if not 'fPattern' in session: pass
else: fPattern = session['fPattern']
if not 'recall' in session: pass
else: recall = session['recall']
if not 'info' in session: pass
else: info = session['info']
conv = Ansi2HTMLConverter()
# generate a graph
provQuest = query.find('WHY')
summRequest = query.find('SUMMARIZED')
lines = []
queryResult = ''
gpromlog, dotlog, imagefile = '', '', ''
if action == 'provgame' or action == 'provgraph' or action == 'provpolygraph' or action == 'triograph' or action == 'lingraph':
if provQuest > 0:
summQuery = ''
if summRequest < 0:
if recall != '' and info == '':
summQuery += ' SCORE AS (' + recall + ' * recall)'
elif recall == '' and info != '':
summQuery += ' SCORE AS (' + info + ' * informativeness)'
elif recall != '' and info != '':
summQuery += ' SCORE AS (' + recall + ' * recall + ' + info + ' * informativeness)'
#
if topk != '':
summQuery += ' TOP ' + topk
if fPattern != '':
summQuery += ' FOR FAILURE OF (' + fPattern + ')'
if sSize != '':
summQuery += ' SUMMARIZED BY LCA WITH SAMPLE(' + sSize + ').'
else:
score = query.find('SCORE')
if score > 0:
summQuery += ' ' + query[query.find('SCORE'):]
else:
top = query.find('TOP')
if top > 0:
summQuery += ' ' + query[query.find('TOP'):]
# if action == 'provgraph' and topk != '' and sSize != '':
# query = query[:query.find('))')] + ')) FORMAT REDUCED_GP. TOP ' + topk + ' SUMMARIZED BY LCA WITH SAMPLE(' + sSize + ').'
if action == 'provgraph': #and topk == '' and sSize == '':
query = query[:query.find('))')] + ')) FORMAT REDUCED_GP.'
# graphFormat = query.find('FORMAT')
# if graphFormat < 1:
# query = query[:-1] + ' FORMAT REDUCED_GP.'
# if action == 'provpolygraph' and topk != '' and sSize != '':
# query = query[:query.find('))')] + ')) FORMAT TUPLE_RULE_GOAL_TUPLE. TOP ' + topk + ' SUMMARIZED BY LCA WITH SAMPLE(' + sSize + ').'
if action == 'provpolygraph': #and topk == '' and sSize == '':
query = query[:query.
find('))')] + ')) FORMAT TUPLE_RULE_GOAL_TUPLE.'
# #
# if action == 'triograph' and topk != '' and sSize != '':
# query = query[:query.find('))')] + ')) FORMAT HEAD_RULE_EDB. TOP ' + topk + ' SUMMARIZED BY LCA WITH SAMPLE(' + sSize + ').'
if action == 'triograph': #and topk == '' and sSize == '':
query = query[:query.find('))')] + ')) FORMAT HEAD_RULE_EDB.'
# graphFormat = query.find('FORMAT')
# if graphFormat < 1:
# query = query[:-1] + ' FORMAT TUPLE_RULE_TUPLE.'
# if action == 'lingraph' and topk != '' and sSize != '':
# query = query[:query.find('))')] + ')) FORMAT TUPLE_ONLY. TOP ' + topk + ' SUMMARIZED BY LCA WITH SAMPLE(' + sSize + ').'
if action == 'lingraph': #and topk == '' and sSize == '':
query = query[:query.find('))')] + ')) FORMAT TUPLE_ONLY.'
# graphFormat = query.find('FORMAT')
# if graphFormat < 1:
# query = query[:-1] + ' FORMAT TUPLE_ONLY.'
# if action == 'provgame' and topk != '' and sSize != '':
# query = query[:query.find('))')] + ')). TOP ' + topk + ' SUMMARIZED BY LCA WITH SAMPLE(' + sSize + ').'
if action == 'provgame': #and topk == '' and sSize == '':
query = query[:query.find('))')] + ')).'
query += summQuery
queryhash = md5(query).hexdigest()
imagefile = queryhash + '.svg'
absImagepath = 'static/' + imagefile
returncode, gpromlog, dotlog = w.generateProvGraph(
query, absImagepath, 'tmp/pg.dot')
gpromlog = conv.convert(gpromlog, full=False)
dotlog = conv.convert(dotlog, full=False)
# output query results (translate into html table)
else:
returncode, gpromlog = w.runDLQuery(query)
queryResult = gpromlog
gpromlog = conv.convert(gpromlog, full=False)
if returncode == 0:
lines = queryResult.split('\n')
numAttr = lines[0].count('|')
lines = [l for l in lines if not (not l or l.isspace())]
lines = map(lambda x: '| ' + x + 'X', lines)
if len(lines) > 1:
lines[1] = '|' + (' -- | ' * numAttr)
else:
lines += ['|' + (' -- | ' * numAttr)]
queryResult = '\n'.join(lines)
md = markdown.Markdown(extensions=['tables'])
queryResult = md.convert(queryResult)
dotlog, imagefile = '', ''
# input db results
# returncode, dblog = w.runInputDB(query)
dblog = ''
inputDB = dblog
dblog = conv.convert(dblog, full=False)
rels = []
if returncode == 0:
lines = inputDB.split('\n')
# collect relation names
for eachel in lines:
if eachel.count('|') < 1 and eachel.count('-') < 1 and len(
eachel) > 0:
rels += [eachel]
# # output relations
# relpoint = 0
# spoint = len(rels)
# for eachrel in rels:
# # relation name
# relDB = eachrel
# # tuples
# if relpoint < len(rels) - 1:
# if len(rels) > 1:
# relpoint = rels.index(eachrel) + 1
# nextrel = rels[relpoint]
# spoint = lines.index(nextrel) + 1
# insline=lines[1:spoint]
# else:
# insline=lines[spoint:len(lines)]
# numAttr=insline[0].count('|')
# insline=[ l for l in insline if not(not l or l.isspace()) ]
# insline=map(lambda x: '| ' + x + 'X', insline)
# if len(insline) > 1:
# insline[1] = '|' + (' -- | ' * numAttr)
# else:
# insline += ['|' + (' -- | ' * numAttr)]
# insDB='\n'.join(insline)
# md = markdown.Markdown(extensions=['tables'])
# insDB = md.convert(insDB)
## reline=lines[0:lines.index(eachrel)]
## reline=[ l for l in reline if not(not l or l.isspace()) ]
## reline=map(lambda x: 'Database Relation ' + x, eachrel)
## relDB=''.join(reline)
## md = markdown.Markdown(reline[0], extensions=['markdown.extensions.smart_strong'])
## relDB = md.convert(relDB)
## insline=lines[1:10]
## numAttr=insline[0].count('|')
## insline=[ l for l in insline if not(not l or l.isspace()) ]
## insline=map(lambda x: '| ' + x + 'X', insline)
## if len(insline) > 1:
## insline[1] = '|' + (' -- | ' * numAttr)
## else:
## insline += ['|' + (' -- | ' * numAttr)]
## insDB='\n'.join(insline)
## md = markdown.Markdown(extensions=['tables'])
## insDB = md.convert(insDB)
return render_template('queryresult.html',
query=session['query'],
gpromlog=gpromlog,
dotlog=dotlog,
imagefile=imagefile,
returnedError=(returncode != 0),
action=action,
queryResult=queryResult,
lines=lines,
rels=rels,
topk=topk,
sSize=sSize,
fPattern=fPattern,
recall=recall,
info=info)
from settings import APP_STATIC, APP_ROOT
from connsettings import *
#import cx_Oracle
########################################
# Setup flask
if GPROM_HOST == None or GPROM_USER == None or GPROM_PASSWD == None:
raise Exception('Please set all connection options in connsettings.py')
app = Flask(__name__)
app.config['SECRET_KEY'] = 'F34TF$($e36D'
app.config['SQLALCHEMY_DATABASE_URI'] = 'sqlite:///provgraph_web.db'
conv = Ansi2HTMLConverter()
w = GProMWrapper(user=GPROM_USER,
passwd=GPROM_PASSWD,
host=GPROM_HOST,
port=GPROM_PORT,
db=GPROM_DB,
backend=GPROM_BACKEND)
########################################
# Load DB model
from models import *
########################################
# Index
@app.route('/')
def home():
allQueries = db.session.query(ProvQuery).all()
# query="""SELECT * FROM all_tables WHERE owner = 'FGA_USER' AND tablespace_name = 'USERS' ORDER BY table_name;"""
#query="""SELECT table_name FROM user_tables ORDER BY table_name;"""
def showgraph():
if not 'query' in session:
return abort(403)
w = GProMWrapper()
query = session['query']
action = session['action']
conv = Ansi2HTMLConverter()
# generate a graph
provQuest = query.find('WHY')
lines = []
if action == 'provgame' or action == 'provgraph' or action == 'triograph' or action == 'lingraph':
if provQuest > 0:
if action == 'provgraph':
query = query[:query.find('))')] + ')) FORMAT REDUCED_GP.'
# graphFormat = query.find('FORMAT')
# if graphFormat < 1:
# query = query[:-1] + ' FORMAT REDUCED_GP.'
if action == 'triograph':
query = query[:query.find('))')] + ')) FORMAT HEAD_RULE_EDB.'
# graphFormat = query.find('FORMAT')
# if graphFormat < 1:
# query = query[:-1] + ' FORMAT TUPLE_RULE_TUPLE.'
if action == 'lingraph':
query = query[:query.find('))')] + ')) FORMAT TUPLE_ONLY.'
# graphFormat = query.find('FORMAT')
# if graphFormat < 1:
# query = query[:-1] + ' FORMAT TUPLE_ONLY.'
if action == 'provgame':
query = query[:query.find('))')] + ')).'
queryResult = ''
queryhash = md5(query).hexdigest()
imagefile = queryhash + '.svg'
absImagepath = 'static/' + imagefile
returncode, gpromlog, dotlog = w.generateProvGraph(
query, absImagepath, 'tmp/pg.dot')
gpromlog = conv.convert(gpromlog, full=False)
dotlog = conv.convert(dotlog, full=False)
else:
queryResult = ''
gpromlog, dotlog, imagefile = '', '', ''
# output query results (translate into html table)
else:
returncode, gpromlog = w.runDLQuery(query)
queryResult = gpromlog
gpromlog = conv.convert(gpromlog, full=False)
if returncode == 0:
lines = queryResult.split('\n')
numAttr = lines[0].count('|')
lines = [l for l in lines if not (not l or l.isspace())]
lines = map(lambda x: '| ' + x + 'X', lines)
if len(lines) > 1:
lines[1] = '|' + (' -- | ' * numAttr)
else:
lines += ['|' + (' -- | ' * numAttr)]
queryResult = '\n'.join(lines)
md = markdown.Markdown(extensions=['tables'])
queryResult = md.convert(queryResult)
dotlog, imagefile = '', ''
# input db results
returncode, dblog = w.runInputDB(query)
inputDB = dblog
dblog = conv.convert(dblog, full=False)
rels = []
if returncode == 0:
lines = inputDB.split('\n')
# collect relation names
for eachel in lines:
if eachel.count('|') < 1 and eachel.count('-') < 1 and len(
eachel) > 0:
rels += [eachel]
# # output relations
# relpoint = 0
# spoint = len(rels)
# for eachrel in rels:
# # relation name
# relDB = eachrel
# # tuples
# if relpoint < len(rels) - 1:
# if len(rels) > 1:
# relpoint = rels.index(eachrel) + 1
# nextrel = rels[relpoint]
# spoint = lines.index(nextrel) + 1
# insline=lines[1:spoint]
# else:
# insline=lines[spoint:len(lines)]
# numAttr=insline[0].count('|')
# insline=[ l for l in insline if not(not l or l.isspace()) ]
# insline=map(lambda x: '| ' + x + 'X', insline)
# if len(insline) > 1:
# insline[1] = '|' + (' -- | ' * numAttr)
# else:
# insline += ['|' + (' -- | ' * numAttr)]
# insDB='\n'.join(insline)
# md = markdown.Markdown(extensions=['tables'])
# insDB = md.convert(insDB)
## reline=lines[0:lines.index(eachrel)]
## reline=[ l for l in reline if not(not l or l.isspace()) ]
## reline=map(lambda x: 'Database Relation ' + x, eachrel)
## relDB=''.join(reline)
## md = markdown.Markdown(reline[0], extensions=['markdown.extensions.smart_strong'])
## relDB = md.convert(relDB)
## insline=lines[1:10]
## numAttr=insline[0].count('|')
## insline=[ l for l in insline if not(not l or l.isspace()) ]
## insline=map(lambda x: '| ' + x + 'X', insline)
## if len(insline) > 1:
## insline[1] = '|' + (' -- | ' * numAttr)
## else:
## insline += ['|' + (' -- | ' * numAttr)]
## insDB='\n'.join(insline)
## md = markdown.Markdown(extensions=['tables'])
## insDB = md.convert(insDB)
return render_template('queryresult.html',
query=session['query'],
gpromlog=gpromlog,
dotlog=dotlog,
imagefile=imagefile,
returnedError=(returncode != 0),
action=action,
queryResult=queryResult,
lines=lines,
rels=rels)