Login / Signup
An Integrity Constraint Checking Method for Temporal Deductive Databases.
Carme Martín
Jaume Sistac
Published in:
TIME (1996)
Keyphrases
</>
deductive databases
constraint checking
integrity constraints
fixpoint
database