Modal Logics in the Theory of Relational Databases.

Subrata Kumar Das

Published in: Inf. Process. Lett. (1996)

Keyphrases

modal logic
relational databases
temporal logic
decision procedures
inference rules
nonmonotonic logics
modal operators
kripke models
classical logic
normal form
object oriented
databases
database
default logic
functional dependencies
np complete
xml documents
reinforcement learning