A complete logic for Database Abstract State Machines1.

Flavio Ferrarotti Klaus-Dieter Schewe Loredana Tec Qing Wang

Published in: Log. J. IGPL (2017)

Keyphrases

database
databases
relational databases
database applications
modal logic
database systems
expert systems
real time
genetic algorithm
information systems
data structure
data model
logic programming
database queries