Optimizing Deductive Databases Using Integrity Constraints.

Øystein Nytrø

Published in: DAISD (1990)

Keyphrases

deductive databases
integrity constraints
integrity checking
constraint checking
functional dependencies

semantic query optimization
fixpoint
database schema
active rules

query answering
conjunctive queries
model theoretic
database transactions

database
stable models
general purpose
artificial intelligence