Publication | Closed Access
Constraint based analysis of database update propagation
13
Citations
0
References
1989
Year
Unknown Venue
Active DatabaseEngineeringAutomated ReasoningConstraintsFormal MethodsDatabase Update PropagationComputer ScienceDatabase ConstructionDatabase TheoryData ManagementAbstract Object TheoryFormal Verification
No abstract available.