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