Towards a deductive database for small simple groups.

Gregory Butler Sridhar S. Iyer

Published in: SIGSAM Bull. (1991)

Keyphrases

deductive databases
integrity constraints
logic programming
machine learning
database
database systems
fixpoint