{"id":738640,"date":"2020-10-08T16:43:29","date_gmt":"2020-10-08T23:43:29","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-research-item&p=738640"},"modified":"2021-04-06T17:07:05","modified_gmt":"2021-04-07T00:07:05","slug":"harmonizing-the-declarative-and-imperative-in-database-systems","status":"publish","type":"msr-video","link":"https:\/\/www.microsoft.com\/en-us\/research\/video\/harmonizing-the-declarative-and-imperative-in-database-systems\/","title":{"rendered":"Harmonizing the declarative and imperative in database systems"},"content":{"rendered":"

Most relational database engines allow users to express their intent with both declarative SQL and imperative functions\/procedures, and practitioners often combine the two in database applications. But while today\u2019s database systems employ highly sophisticated techniques to optimize and evaluate declarative SQL statements, the evaluation of imperative programs has largely remained naive and inefficient. This has limited their use in many performance-critical situations despite imperative programming offering several benefits over SQL.<\/p>\n

In this webinar, Karthik Ramachandra, a Principal Engineering Manager who heads the Azure SQL Database R & D India organization at Microsoft, will take you on a journey addressing this important but often overlooked problem. First, he\u2019ll describe how the declarative and imperative styles of programming are intertwined in today\u2019s database systems and explain the challenges faced by practitioners. Then, he\u2019ll address why this problem has lingered without a solution for years and what makes it unique. He\u2019ll also delve into the details of Froid and Aggify, two related techniques for evaluating imperative programs in database systems that result in performance improvements of up to multiple orders of magnitude over the existing state of the art.<\/p>\n

Together, you\u2019ll explore:<\/p>\n