Search Constraints

Start Over
Filtering by: Creator Thomas, Christoph Remove constraint Creator: Thomas, Christoph Committee Member Borradaile, Glencora Remove constraint Committee Member: Borradaile, Glencora Committee Member Egbert, Gary Remove constraint Committee Member: Egbert, Gary

Search Results

  • Formal Verification of the Variational Database Management System

    Creator:
    Khan, Fariba
    Abstract:
    Variation in data is abundant and ubiquitous in real-world applications. Managing variation in databases is, however, difficult and has been extensively studied by the database community. Schema evolution, data integration, and database versioning are examples of well-studied forms of database variation with effective context-specific solutions. However, variation appears in different...
    Resource Type:
    Masters Thesis