Research Projects
- XData: Testing and Automated Grading of SQL Queries
Testing SQL queries requires datasets designed to catch errors. Traditionally SQL queries are tested on manually created datasets, but such datasets may miss many errors, particularly corner cases.The XData system developed at IIT Bombay address the problem of test data generation. Given an SQL query, XData generates datasets designed to catch a large number of errors.
- DBridge: A Holistic Optimizer
DBridge is a tool to optimize database/web service access by performing optimizations that span across the boundaries of the application and the data source. This involves bringing together ideas from traditional database query optimization, program analysis and compiler optimization, in order to optimize database applications, bridging the gap between the query language and the programming language.
- BANKS: Browsing And Keyword Searching of Databases
BANKS: Browsing And Keyword Searching of Databases
Courses
- CS 631 — Implementation Techniques for Relational Database Systems
Physical storage and indexing structures, Query processing algorithms, Query optimization, Transaction processing and serializability, Concurrency Control, Recovery. Big data management: transaction and query processing on parallel and distributed databases including issues of availability, replication, consistency, concurrency control, and recovery. Emerging database trends.
- CS 632 — Advanced Database Management Systems
The course will be based primarily on research papers covering the following topics: Top-k query processing including skylines, Fagin"s algorithm and quality of top-k. Materialized views and its implications in ranking. Advanced query optimization, including database tuning. Adaptive query processing and optimization; Transaction and query processing on main-memory and columnar databases; Data streams and stream management systems; Handling uncertain data; Applications of declarative querying/optimization outside of database applications. While this area has seen many traditional methods, recently ML based techniques have shown empirical superiority to the traditional statistical methods.
Contact
KR136, Kresit Building,
Department of CSE, IIT Bombay
Powai, Mumbai, Maharashtra, 400076