Integrity Constraints Checking in Historical Deductive Databases.

Carme Martín Jaume Sistac

Published in: DAISD (1994)

Keyphrases

deductive databases
integrity constraints
constraint checking
integrity checking
semantic query optimization
functional dependencies
database schema
fixpoint
query answering
active rules
conjunctive queries
model theoretic
xml documents
logic programming
query evaluation
data management
stable models
databases