Login / Signup
Incremental Protocol Verfication Using Deductive Database Systems.
I-En Liao
Ming T. Liu
Published in:
ICDE (1989)
Keyphrases
</>
deductive database systems
logic programming
query processing
data management
relational database systems