Reasoning Formally About Database Queries and Updates.

Jon Haël Brenas Rachid Echahed Martin Strecker

Published in: FM (2019)

Keyphrases

database queries
database
databases
reasoning process

query processor
knowledge base
meta level
model based reasoning

automated reasoning
knowledge processing
application programs
data structure

knowledge representation
multi dimensional
causal reasoning
constraint databases