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.
Date:Thursday, September 7, 2017 - 10:00am
Title:Safety Checking for Domain Relational Calculus Queries Using Alloy Analyzer
Committee:Tevfik Bultan (Chair), Xifeng Yan