Characterization of Well-Behaved Database Schemata and Their Update Semantics.

Published in: VLDB (1983)

Keyphrases

update semantics
database schemata
deontic logic
answer set programming
knowledge representation and reasoning
artificial intelligence
truth values