A Modal System of Algebras for Database Specification and Query/Update Language Support - Concepedia

Concepedia

Publication | Closed Access

A Modal System of Algebras for Database Specification and Query/Update Language Support

22

Citations

5

References

1983

Year

Forouzan Golshani, T. S. E. Maibaum, M. Sadler

Very Large Data Bases

Algebraic LogicRelational DatabaseEngineeringModal SystemAutomated ReasoningAlgebraic SemanticsFormal MethodsQuery/update Language SupportDatabase ModelDatabase SpecificationSemantic WebDatabase TheoryFormal Verification

References

	Year	Citations

Page 1