Search Constraints

Start Over
Filtering by: Creator Amsberry, Anthony C. Remove constraint Creator: Amsberry, Anthony C. Committee Member Borradaile, Glencora Remove constraint Committee Member: Borradaile, Glencora File Format pdf Remove constraint File Format: pdf

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
    Full Text:
    . . . . . . . . . . . . . . . . . . . . . . . 63 B Formal Encoding of Variational Query . . . . . . . . . . . . . . . . . . . . . 84 C Formal