Browsing Mathematics (Faculty of) by Supervisor "Toman, David"

Now showing items 1-4 of 4

Clustering Dependencies over Relational Tables

Gao, Yuchen (University of Waterloo, 2016-01-22)

Integrity constraints have proven to be valuable in the database field. Not only can they help schema design (functional dependencies, FDs [1][2]), they can also be used in query optimization (ordering dependencies, ODs ...
Compiling Equality in an Abstract Relational Model via Preference Tables and Translation Tables

Mollazadeh, Ensieh (University of Waterloo, 2022-12-07)

Borgida et al. have introduced a refinement to the relational model (RM) [1] which they call the abstract relational model (ARM) that extends the former in the following three ways: 1. the addition of a new abstract ...
Enumerating Query Plans via Conditional Tableau Interpolation

Feng, Eva Hu (University of Waterloo, 2023-04-21)

Database query optimization studies the problem of finding equivalent and efficient query execution plans for user queries under schema constraints. Logic-based approaches to query optimization leverage automated theorem ...
On the Utility of Adding An Abstract Domain and Attribute Paths to SQL

Ma, Weicong (University of Waterloo, 2018-04-30)

Albeit its popularity today, RDBMS and the relational model still have many limitations. For example, one needs to pay premature attention to naming issues in the schema designing phase; and the syntax for conjunctive ...