An Algorithmic Logic Approach to Formalizing Database Update Semantics.

James Brawner James Vorbach

Published in: J. Appl. Non Class. Logics (1998)

Keyphrases

database
update semantics
deontic logic
databases
database systems
logic programming
database applications
knowledge base
database management systems
truth values
relational databases
object oriented
modal logic
database schema
theorem prover
business rules