MS Project Defense . -Safety Checking for Domain Relational Calculus Queries Using Alloy Analyzer

Date: 
Thursday, September 7, 2017 - 10:00am
Location: 
HFH 1132
Title: 
Safety Checking for Domain Relational Calculus Queries Using Alloy Analyzer
Speaker: 
Plane Janthong
Committee: 
Tevfik Bultan (Chair), Xifeng Yan

A domain relational calculus (DRC) query is a database query which uses the mathematical set notation to enumerate the result based on the data in the database. A DRC query is safe if and only if it is domain-independent, i.e., the result of the query is determined solely by the data in the database, not the domain of data values. In this project, we provide a framework for verifying whether a given DRC query is safe by translating the problem into a verification task in Alloy language. We also experiment with our translation framework using various examples of safe and unsafe queries.

Everyone welcome!