A dynamic-logic-based deductive database manipulation language

Conference Paper uoadl:1038490 472 Read counter

Original Title:
A dynamic-logic-based deductive database manipulation language
Languages of Item:
English
Creator:
Cao, Hua
Bell, D.A.
Hull, M.E.C.
Main subject category:
Databases and Information Systems
Pages (from-to):
35-43
The digital material of the item is not available.