Publication | Closed Access

The inference problem: Maintaining maximal availability in the presence of database updates

Software MaintenanceAvailabilityEngineeringVerificationFormal VerificationDatabase UpdatesInference ProblemData ConsistencyData ScienceDistributed DatabaseMaintaining Maximal AvailabilityData IntegrationData ManagementAvailability IssueAvailability (System)Computer ScienceConsistency TechnologyAutomated ReasoningFormal Methods