RALL: Machine-Supported Proofs for Relation Algebra.

David von Oheimb Thomas F. Gritzner

Published in: CADE (1997)

Keyphrases

relation algebra
expressive power
theorem prover
theorem proving
formal logic
flowshop
first order logic
relational databases
learning strategies
expert systems
scheduling problem
knowledge acquisition
widely accepted